|
From: | Gunnar Farnebäck |
Subject: | Re: [gnugo-devel] doc patch |
Date: | Wed, 31 Oct 2007 20:36:21 +0100 |
User-agent: | Mozilla-Thunderbird 2.0.0.6 (X11/20071008) |
Dan wrote:
I've posted a patch at: http://match.stanford.edu/gnugo/doc_3_7_11 This patch addresses the problem that building doc/gtp-commands.texi may require GNU sed; with BSD sed, this command was found to fail. After this patch, doc/gtp-commands.texi is not built automatically but can be rebuilt using 'make gtp-commands' in the doc/ directory. (So gtp-commands is a fake target.) It would also be desirable to fix gtp-commands.sed to work with non-gnu sed, but even if this is done it seems to me better not to make gtp-commands.texi automatically when building gnugo from cvs or a tarball.
Fine with me.
The patch also corrects a long line and updates texinfo.tex to a recent version, from texinfo-4.9. - gtp-commands.texi is not built automatically - updates texinfo.tex - minor doc revision I won't add this to the CVS until Gunnar and Thi have a chance to comment.
A correction: +Quarry is available at @url{http://home.gnu.org/quarry/}. This should be home.gna.org (gna, not gnu). /Gunnar
[Prev in Thread] | Current Thread | [Next in Thread] |