Subject: bug#26617: [PATCH] gnu: Add gnustep-make.

From: [email-masked] (Ludovic Courtès)
Date: Mon, 08 May 2017 22:12:11 +0200

Kei Kebreau <[email-masked]> 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’.