deleted obsolete entry "AutoDocMainFile.xml"

mohamed-barakat · Oct 24, 2019 · 735c251 · 735c251
1 parent ff57e9e
commit 735c251
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -27,7 +27,7 @@ Subtitle := "A homalg based package for D-modules",
 ##  See '?Extending: Version Numbers' in GAP help for an explanation
 ##  of valid version numbers. For an automatic package distribution update
 ##  you must provide a new version number even after small changes.
-Version := "2017.09.20",
+Version := "2017.09.21",
 ##  Please adjust also the VERSION file in the package directory when
 ##  changing this.
 

diff --git a/makedoc.g b/makedoc.g
@@ -10,7 +10,6 @@ AutoDoc(
                 "install.xml",
                 "D-Modules.xml",
                 "Tools.xml",
-                "AutoDocMainFile.xml",
             ],
             appendix := [
                 "appendix.xml",