directory /Doc/tools/ @ 32527:0da660e05e69 legacy-trunk

name size permissions
[up] drwxr-xr-x
dir. sgmlconv/ drwxr-xr-x
file anno-api.py 2176 -rwxr-xr-x
file buildindex.py 10575 -rwxr-xr-x
file checkargs.pm 4233 -rw-r--r--
file cklatex 661 -rwxr-xr-x
file custlib.py 2154 -rw-r--r--
file cvsinfo.py 2432 -rw-r--r--
file findacks 4023 -rwxr-xr-x
file findcsyms 3660 -rwxr-xr-x
file findmodrefs 1806 -rwxr-xr-x
file findsyms 3937 -rwxr-xr-x
file fix_hack 86 -rwxr-xr-x
file fix_libaux.sed 107 -rwxr-xr-x
file fixinfo.el 441 -rw-r--r--
file getpagecounts 2894 -rwxr-xr-x
file getversioninfo 1790 -rwxr-xr-x
file html2texi.pl 58169 -rwxr-xr-x
file indfix.py 2295 -rwxr-xr-x
file keywords.py 365 -rw-r--r--
file listmodules 5277 -rwxr-xr-x
file makesec.sh 3438 -rwxr-xr-x
file mkackshtml 1739 -rwxr-xr-x
file mkhowto 23754 -rwxr-xr-x
file mkinfo 1552 -rwxr-xr-x
file mkmodindex 4819 -rwxr-xr-x
file mkpkglist 2263 -rwxr-xr-x
file mksourcepkg 5884 -rwxr-xr-x
file node2label.pl 1942 -rwxr-xr-x
file prechm.py 16617 -rw-r--r--
file push-docs.sh 2721 -rwxr-xr-x
file py2texi.el 31205 -rw-r--r--
file refcounts.py 2310 -rw-r--r--
file rewrite.py 1362 -rw-r--r--
file support.py 6698 -rw-r--r--
file toc2bkm.py 3949 -rwxr-xr-x
file undoc_symbols.py 2548 -rw-r--r--
file update-docs.sh 742 -rwxr-xr-x
file whichlibs 85 -rwxr-xr-x