-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hello Bill:
On 17/04/16 14:39, Bill Allombert wrote: > On Sun, Apr 17, 2016 at 02:19:20PM +0100, Jerome Benoit wrote: >> Package: gap-core >> Version: 4r8p3-2 >> Severity: normal >> >> Dear Maintainer, >> >> I understand that GAP_CONVERT_DATE must be favour over >> SOURCE_DATE_EPOCH. >> Nevertheless, while the format of SOURCE_DATE_EPOCH is well defined, >> the format for GAP_CONVERT_DATE is free (so I can understand). > > No, this is a text string that will be put in the document as is. > >> More importantly, both are not managed the same way in convert.pl , >> what add some confussion. > > 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/ > > Cheers, > Best wishes, Jerome -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJXE8MQAAoJEIC/w4IMSybj/2wH/0WMSIg1WaXWprwbG/tmXCf9 cCJdVzTh8jgu3KjeEmuAEMjD4vxwHhPJGk1DtJ7Ncn2qp39zTqS9EOJLCSNNp5Jg OORnRgH3AR1RxVAlNi6w64dfF7uep3Jr1+/d93C2SVYVg6My2HAlspIIU3TfIJA+ cSMEih+9APBjy7u6oLlDtxdrVd0cWKgT8VrUkU39KV5KpQC5xU7s4/WLDPw1RZY2 56tQeC9WgsDl8EkhDP/r/I19rUn12wJPahUxepGBvacfi2ftoOkM2tAR8lGigeOy 8stRenrartVJQVnY7noERjv9SgYE5SfpysVUu3lk0pJVaJzssPaCNaC2twmtY9w= =0w18 -----END PGP SIGNATURE-----
