Skip to content

Commit

Permalink
Remove reference to .zoo file format
Browse files Browse the repository at this point in the history
... by removing a now pointless source comment
  • Loading branch information
fingolfin committed Jan 28, 2024
1 parent 42e3119 commit c78b0d8
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -186,7 +186,6 @@ SetPackageInfo( rec(
# use same as in GAP
BookName := "GUAVA",
ArchiveURLSubset := ["doc"],
# format/extension can be one of .zoo, .tar.gz, .tar.bz2, -win.zip
HTMLStart := "doc/chap0_mj.html",
PDFFile := "doc/manual.pdf",
# the path to the .six file used by GAP's help system
Expand Down

0 comments on commit c78b0d8

Please sign in to comment.