On Fri, Apr 01, 2016 at 04:22:03PM +0200, Jerome Benoit wrote:
> Package: gap-core
> Version: 4r7p5-2
> Severity: normal
>
> Dear Maintainer,
>
> the script /usr/share/gap/etc/convert.pl generates non-reproducible
> material.
> The involved code is:
>
> ===========8><----------------------------
> # Printed at the bottom of every page.
> $footer = "<P>\n" . sansserif( "GAP 4 manual<br>" . `date +"%B %Y"` ) .
> "</body></html>";
> -----------><8============================
Hello Jerome,
I do not think this line is an issue but rather the one below:
$footer = "<P>\n<address>$opt_n manual<br>" .
`date +"%B %Y"` . "</address></body></html>";
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 ?
Cheers,
Bill
Index: gap-4r8p3/etc/convert.pl
===================================================================
--- gap-4r8p3.orig/etc/convert.pl 2016-04-08 23:52:21.006809647 +0200
+++ gap-4r8p3/etc/convert.pl 2016-04-08 23:53:31.300208999 +0200
@@ -409,9 +409,14 @@
}
}
+sub reprodate
+{
+ return "$ENV{GAP_CONVERT_DATE}\n" if (defined($ENV{'GAP_CONVERT_DATE'}));
+ return `date +"%B %Y"`
+}
# Printed at the bottom of every page.
-$footer = "<P>\n" . sansserif( "GAP 4 manual<br>" . `date +"%B %Y"` ) .
+$footer = "<P>\n" . sansserif( "GAP 4 manual<br>" . &reprodate ) .
"</body></html>";
# Section label ... this is the bit that goes after a # in an HREF link
@@ -2093,7 +2098,7 @@
$booktitle_body = booktitle_body($booktitle, ("GAP", $opt_n));
$mainman=0;
$footer = "<P>\n<address>$opt_n manual<br>" .
- `date +"%B %Y"` . "</address></body></html>";
+ &reprodate . "</address></body></html>";
#print "c: $opt_c \n";
} else {
if ($opt_f) {
