directory /Doc/tools/ @ 8831:00a6bb65ff29 legacy-trunk

name size permissions
[up] drwxr-xr-x
file buildindex.py 6918 -rwxr-xr-x
file custlib.py 2003 -rw-r--r--
file fix.el 220 -rw-r--r--
file fix_hack 86 -rwxr-xr-x
file fix_libaux.sed 107 -rwxr-xr-x
file indfix.py 2009 -rwxr-xr-x
file keywords.py 395 -rw-r--r--
file mkdvi.sh 908 -rwxr-xr-x
file mkhowto.sh 6646 -rwxr-xr-x
file mkhtml.sh 709 -rwxr-xr-x
file mktarball.sh 1018 -rwxr-xr-x
file newind.py 559 -rwxr-xr-x
file node2label.pl 1354 -rwxr-xr-x
file partparse.py 69672 -rw-r--r--
file text2latex.py 1300 -rw-r--r--
file toc2bkm.py 3270 -rwxr-xr-x
file whichlibs 85 -rwxr-xr-x