gnugo-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [gnugo-devel] doc patch


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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]