Use @ifnotex and not @ifinfo, or HTML does not get its ToC.
[gnushogi.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 3771 BOOKFILES
-rw-r--r-- 954 Makefile
-rw-r--r-- 2145 PORTING
-rw-r--r-- 11155 gnushogi.6
-rw-r--r-- 3253 gnushogi.html
-rw-r--r-- 1619 gnushogi.info
-rw-r--r-- 49337 gnushogi.info-1
-rw-r--r-- 46527 gnushogi.info-2
-rw-r--r-- 284109 gnushogi.ps
-rw-r--r-- 78151 gnushogi.texinfo
-rw-r--r-- 3374 gnushogi_1.html
-rw-r--r-- 5398 gnushogi_10.html
-rw-r--r-- 2854 gnushogi_11.html
-rw-r--r-- 5494 gnushogi_12.html
-rw-r--r-- 6676 gnushogi_13.html
-rw-r--r-- 2952 gnushogi_14.html
-rw-r--r-- 10755 gnushogi_15.html
-rw-r--r-- 5669 gnushogi_16.html
-rw-r--r-- 7520 gnushogi_17.html
-rw-r--r-- 7601 gnushogi_18.html
-rw-r--r-- 16151 gnushogi_19.html
-rw-r--r-- 2584 gnushogi_2.html
-rw-r--r-- 20124 gnushogi_20.html
-rw-r--r-- 6804 gnushogi_21.html
-rw-r--r-- 3630 gnushogi_22.html
-rw-r--r-- 2655 gnushogi_23.html
-rw-r--r-- 13049 gnushogi_24.html
-rw-r--r-- 18079 gnushogi_3.html
-rw-r--r-- 6473 gnushogi_4.html
-rw-r--r-- 6558 gnushogi_5.html
-rw-r--r-- 6095 gnushogi_6.html
-rw-r--r-- 6236 gnushogi_7.html
-rw-r--r-- 3829 gnushogi_8.html
-rw-r--r-- 5175 gnushogi_9.html
-rw-r--r-- 3803 gnushogi_abt.html
-rw-r--r-- 2289 gnushogi_ovr.html
-rw-r--r-- 3434 gnushogi_toc.html
-rwxr-xr-x 1557 make_fig1
-rwxr-xr-x 925 make_fig2
-rw-r--r-- 5586 shogi.rules
-rw-r--r-- 194984 texinfo.tex
-rw-r--r-- 6498 tutorial1.gam
-rw-r--r-- 5886 tutorial2.gam
-rw-r--r-- 20781 xshogi.6