[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnugo-devel] doc patch
From: |
bump |
Subject: |
[gnugo-devel] doc patch |
Date: |
Tue, 30 Oct 2007 15:02:28 -0800 |
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.
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.
Dan
- [gnugo-devel] doc patch,
bump <=