-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hi Again
On 17/04/16 18:14, Bill Allombert wrote: > 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 So it is a Debian specific document, and GAP_CONVERT_DATE seems to be Debian specific as well: does it make sense to make (if still possible) GAP_CONVERT_DATE having the same format as SOURCE_DATE_EPOCH in such a way that the original date format used by GAP itself is hard-encoded in convert.pl (as SOURCE_DATE_EPOCH is) ? > > Cheers, > Bill. > Best wishes, Jerome -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJXE8eLAAoJEIC/w4IMSybjjQUH/2nJwdCoqOcnvZPlHuxbiru+ zp/QLXTYRrpnS/vqqQ3Y2GtFAG9U6flvTp6n5RHoBFS2fEp8lKbH8yhhzj/74coq jQp/N4WKjk7Sx9dZ2YxAlLeRjOzWrHCtpnNIpYjPypiJl5CedikN3b+7H0HePs44 IZcIa8NDEHSh51+5ay9VyF7iG/J0lmUyTkvcGQo7jqur434anqwz45Qfl4Aak05M pSXl6TwqbkWvupCiL0p4xvvQtKEli+ym+J1azBdxPTkNplC5aWrPdwItgy6AnG1l U8jnKrckwHOCdTdz4csflIi77Wm5eMQIA6xmJdLnTb1xHbxP/KgOsqiNIM0fkig= =hDir -----END PGP SIGNATURE-----
