projects / gnushogi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53dd9aa) | patch
Use @ifnotex and not @ifinfo, or HTML does not get its ToC.
authorYann Dirson <ydirson@free.fr>
Tue, 8 Oct 2013 20:10:40 +0000 (22:10 +0200)
committerYann Dirson <ydirson@free.fr>
Tue, 8 Oct 2013 20:33:48 +0000 (22:33 +0200)
commitdb5c540ff7e9dd176f797b50031141e2c2059456
treeae23e28a4c41d7ea7084ae95ca3a92b2300a9322tree | snapshot
parent53dd9aa960a5e4757c31b3b11f3748b6746ff5afcommit | diff
Use @ifnotex and not @ifinfo, or HTML does not get its ToC.
doc/gnushogi.texinfo diff | blob | history
Version of GNU Shogi using WinBoard/XBoard protocol, incl. Windows port.