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 ?
Cheers,
--
Bill. <ballo...@debian.org>
Imagine a large red swirl here.
