Closed narc-Ontakac2 closed 3 years ago
Thanks for finding AutoDoc cause, @narc-Ontakac2 - so, this issue may be closed then?
As for packaging I will be regenerating the existing manual unless told otherwise.
As for closing the bug I would suggest we leave it open. Although @fingolfin did the AutoDoc change too, this issue might be an unintentional side effect. @fingolfin should close it.
If I extract the tarball for nq 2.5.4 and run echo 'Read("makedoc.g");' | gap -l 'debian/gaproot;/usr/share/gap' the generated manual.pdf is different from the manual.pdf that was in the tar ball before.
If I modify PackageInfo.g by setting the IsAuthor flag for Max Horn to true and generate the manual.pdf again, the resulting manual is almost identical (only minor font differences) to the one from the tar ball.
This happens on debian testing. The installed versions are gap 4.11.0-4 gap-gapdoc 1.6.3-1 gap-autodoc 2019.09.04-1
The question that arises when packaging this is which documentation is considered correct and therefore will be included in the package.
manual.tar.pdf manual.generated.pdf manual.IsAuthor.pdf