diff --git a/docsets/igraph/docset.json b/docsets/igraph/docset.json
index 74ce134d9e..c89a87eaa6 100644
--- a/docsets/igraph/docset.json
+++ b/docsets/igraph/docset.json
@@ -1,6 +1,6 @@
 {
     "name": "igraph",
-    "version": "0.10.4/0",
+    "version": "0.10.5/0",
     "archive": "igraph.tgz",
     "author": {
         "name": "The igraph core team",
diff --git a/docsets/igraph/igraph.tgz.txt b/docsets/igraph/igraph.tgz.txt
deleted file mode 100644
index cf64029c08..0000000000
--- a/docsets/igraph/igraph.tgz.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-Archive "igraph.tgz" was processed at this location, pushed to the CDN and completely removed from git.
-
-Date: 2023-02-21 15:07:09 +0000
-SHA1: c96e02d5cf856ad511d3b17cf0177cd838e43c60
-
-Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
\ No newline at end of file