ludo@gnu.org (Ludovic Courtès) writes:

> Kei Kebreau <kei@openmailbox.org> skribis:
>
>> * I've also realized that documentation is installed separately from the
>> main GNU building process, so I've added an appropriate phase now. The
>> only problem is that there's a PostScript file with a line that varies
>> depending on the build time. Is there a way to eliminate this variance
>> that you know of?
>
> It may be that this line is added by a separate tool, perhaps pdflatex
> or whatever is used.  It’s this tool that we should fix.
>
> If you could fine which tool that is and file a bug for this to
> bug-guix, that would be great.
>
> In the meantime you can happily commit gnustep-make.  :-)
>
> Thanks,
> Ludo’.

Commited (both to master and to finding that bug)!