Convert documentation to GAPDoc/AutoDoc

.gitignore

@@ -1,22 +1,28 @@
-/htm/
-
+/doc/*.css
+/doc/*.js
+/doc/_*.xml
+/doc/chap*.html
+/doc/chap*.txt
+/doc/chap*_mj.html
+/doc/chap*_mj.txt
+/doc/chooser.html
+/doc/main.*
 /doc/manual.aux
 /doc/manual.bbl
 /doc/manual.blg
-/doc/manual.dvi
-/doc/manual.example-*.tst
 /doc/manual.idx
 /doc/manual.ilg
 /doc/manual.ind
 /doc/manual.lab
 /doc/manual.log
 /doc/manual.pdf
-/doc/manual.ps
 /doc/manual.six
 /doc/manual.toc
-/doc/tthin
-/doc/tthmacros.tex
-/doc/tthout
+/doc/title.xml
+
+# Output of the old plain-TeX manual; kept ignored until the leftover
+# directory is removed for good.
+/htm/
 
 /gh-pages/
 /tmp/

PackageInfo.g

@@ -1,6 +1,6 @@
 #############################################################################
 ##  
-##  PackageInfo.g for the package `Aclib'                      Bettina Eick
+##  PackageInfo.g for the package AClib                        Bettina Eick
 ##  
 
 SetPackageInfo( rec(
@@ -18,7 +18,7 @@ Persons := [
       IsAuthor      := true,
       IsMaintainer  := false,
       Email         := "Karel.Dekimpe@kuleuven.be",
-      WWWHome       := "https://www.kuleuven-kulak.be/~dekimpe/",
+      WWWHome       := "https://kulak.kuleuven.be/~dekimpe/",
       PostalAddress := Concatenation( [
                        "Katholieke Universiteit Leuven\n",
                        "Campus Kortrijk, Universitaire Campus\n",
@@ -33,7 +33,7 @@ Persons := [
       IsAuthor      := true,
       IsMaintainer  := true,
       Email         := "beick@tu-bs.de",
-      WWWHome       := "http://www.iaa.tu-bs.de/beick",
+      WWWHome       := "https://www.iaa.tu-bs.de/beick",
       PostalAddress := Concatenation(
                "Institut Analysis und Algebra\n",
                "TU Braunschweig\n",
@@ -61,12 +61,12 @@ ArchiveURL      := Concatenation( ~.SourceRepository.URL,
 ArchiveFormats := ".tar.gz",
 
 AbstractHTML := 
-"The <span class=\"pkgname\">AClib</span> package contains a library of almost crystallographic groups and a some algorithms to compute with these groups. A group is called almost crystallographic if it is finitely generated nilpotent-by-finite and has no non-trivial finite normal subgroups. Further, an almost crystallographic group is called almost Bieberbach if it is torsion-free. The almost crystallographic groups of Hirsch length 3 and a part of the almost cyrstallographic groups of Hirsch length 4 have been classified by Dekimpe. This classification includes all almost Bieberbach groups of Hirsch lengths 3 or 4. The AClib package gives access to this classification; that is, the package contains this library of groups in a computationally useful form. The groups in this library are available in two different representations. First, each of the groups of Hirsch length 3 or 4 has a rational matrix representation of dimension 4 or 5, respectively, and such representations are available in this package. Secondly, all the groups in this libraray are (infinite) polycyclic groups and the package also incorporates polycyclic presentations for them. The polycyclic presentations can be used to compute with the given groups using the methods of the Polycyclic package.",
+"The <span class=\"pkgname\">AClib</span> package contains a library of almost crystallographic groups and some algorithms to compute with these groups. A group is called almost crystallographic if it is finitely generated nilpotent-by-finite and has no non-trivial finite normal subgroups. Further, an almost crystallographic group is called almost Bieberbach if it is torsion-free. The almost crystallographic groups of Hirsch length 3 and a part of the almost crystallographic groups of Hirsch length 4 have been classified by Dekimpe. This classification includes all almost Bieberbach groups of Hirsch lengths 3 or 4. The AClib package gives access to this classification; that is, the package contains this library of groups in a computationally useful form. The groups in this library are available in two different representations. First, each of the groups of Hirsch length 3 or 4 has a rational matrix representation of dimension 4 or 5, respectively, and such representations are available in this package. Secondly, all the groups in this library are (infinite) polycyclic groups and the package also incorporates polycyclic presentations for them. The polycyclic presentations can be used to compute with the given groups using the methods of the Polycyclic package.",
 
 PackageDoc := rec(
   BookName  := "AClib",
-  ArchiveURLSubset := ["doc", "htm"],
-  HTMLStart := "htm/chapters.htm",
+  ArchiveURLSubset := ["doc"],
+  HTMLStart := "doc/chap0_mj.html",
   PDFFile   := "doc/manual.pdf",
   SixFile   := "doc/manual.six",
   LongTitle := "Almost Crystallographic Groups - A Library and Algorithms",
@@ -83,8 +83,17 @@ AvailabilityTest := ReturnTrue,
 TestFile := "tst/testall.g",
 
 Keywords := ["almost crystallographic groups", "almost Bieberbach group",
-             "virtually nilpotent group", "nilpotent-by-finite group", 
-             "datalibrary of almost Bieberbach groups"]
+             "virtually nilpotent group", "nilpotent-by-finite group",
+             "datalibrary of almost Bieberbach groups"],
+
+AutoDoc := rec(
+  entities := rec(
+    Polycyclic     := "<Package>Polycyclic</Package>",
+    Cryst          := "<Package>Cryst</Package>",
+    CaratInterface := "<Package>CaratInterface</Package>",
+    CrystCat       := "<Package>CrystCat</Package>",
+  ),
+),
 
 ));
 

README

@@ -1,33 +1,31 @@
-Aclib -- A Library of 3- and 4-Dimensional Almost Crystallographic Groups
-=========================================================================
+AClib -- A Library of 3- and 4-Dimensional Almost Crystallographic Groups
+========================================================================
 
 by Karel Dekimpe and Bettina Eick
 
 
 Introduction
 ------------
 
-The package `aclib' contains the almost crystallographic groups as 
-classified by K. Dekimpe in the Springer Lecture Notes, Vol. 1639: 
-"Almost Bieberbach Groups: Affine and Polynomial Structures". 
+The AClib package contains the almost crystallographic groups as
+classified by K. Dekimpe in the Springer Lecture Notes, Vol. 1639:
+"Almost-Bieberbach Groups: Affine and Polynomial Structures".
 
 The groups are available as rational matrix groups. Further, all the
-groups in the library are polycyclic. If the `Polycyclic' package for 
+groups in the library are polycyclic. If the Polycyclic package for
 computations with infinite polycyclic groups is installed, then also
 polycyclic presentations for the almost crystallographic groups are
 available and can be used for computations with these groups.
 
 
-
 Support
 -------
-
-Please report any problems you may encounter using `aclib' at
-  <https://github.com/gap-packages/aclib/issues>
 
+Please report any problems you may encounter using AClib at
+  <https://github.com/gap-packages/aclib/issues>
 
 
 License
 -------
 
-The `aclib' package is licensed under the Artistic License 2.0.
+The AClib package is licensed under the Artistic License 2.0.

doc/aclib.bib

@@ -17,15 +17,15 @@ @article{AUS
 author       = "Louis Auslander",
 title        = "Bieberbach's theorem on space groups and discrete uniform 
                 subgroups of Lie groups",
-journal      = "Ann. of Math",
+journal      = "Ann. of Math.",
 number       = "3",
 volume       = "71",
 year         = "1960",
-pages        = "579-590"
+pages        = "579--590"
 }
 
 @book{BRO,
-author       = "Kenneth S.\ Brown",
+author       = "Kenneth S. Brown",
 title        = "Cohomology of Groups",
 volume       = "87",
 series       = "Grad. Texts in Math.",