On Sun, Apr 17, 2016 at 06:08:32PM +0100, Jerome BENOIT wrote: > > The documentation says: > > > > 4. If you need to use the script `etc/convert.pl', set the > > environment variable `GAP_CONVERT_DATE' to the date in the > > original manual (e.g. `GAP_CONVERT_DATE="Februar 2010"'). > > > > What would you like to add ? > > Nothing, except the name of the document: > my current understanding is that GAP_CONVERT_DATE is imported by the Debian > patch > > https://sources.debian.net/src/gap/4r8p3-2/debian/patches/convert.pl-repro/
The document is /usr/share/doc/gap-doc/gap-policy.sgml Cheers, Bill.
