On Sat, Apr 09, 2016 at 07:38:43PM +0100, Jerome BENOIT wrote: > > I consider applying the attached patch. > > You just have to set the environment variable 'GAP_CONVERT_DATE' > > to the date which is listed in the upstream html files. > > > > Does that work for you ? > > No, this does not work for me because it does not work for Debian: > no need to introduce a new environment variable (and certainly not a GAP one), > but instead the change must follow the ReproducibleBuilds TimestampsProposal > [1,2].
convert.pl is deprecated, we mostly need it to build the documentation of old packages. Even if upstream changed the script to follow the TimestampsProposal, probably no new package would be generated with the fixed version. In the mean time, it is more important that the documentation we rebuild be as close as possible to the original, so we can more easily find discrepancy, in particular broken references. So if the original has 'Februar 2010' as the date, then we should use 'Februar 2010' as the date string. I do not think this is compatible with SOURCE_DATE_EPOCH, unfortunately, because SOURCE_DATE_EPOCH will not be set to the right time. Is there a way around that ? I plan to use it that way: GAP_CONVERT_DATE="Februar 2010" /usr/share/gap/etc/convert.pl -c -n AutPGrp . ../htm where 'Februar 2010' is the data found in the original tarball. When there is a new upstream version, it will probably stop using convert.pl, so I can get rid of this line. Cheers, Bill.
