GNU bug report logs - #26617
[PATCH] gnu: Add gnustep-make.

Previous Next

Full log

Message #14 received at 26617 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Kei Kebreau <kei <at> openmailbox.org>
Cc: 26617 <at> debbugs.gnu.org, Leo Famulari <leo <at> famulari.name>
Subject: Re: bug#26617: [PATCH] gnu: Add gnustep-make.
Date: Mon, 08 May 2017 22:12:11 +0200

Kei Kebreau <kei <at> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.