[gnugo-devel] doc patch

[bump]

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