directory /doc/manual/ @ 6:607e3be6bad8

name size permissions
[up] drwxr-xr-x
file DEFS.mk 825 -rw-r--r--
file agdefs.tex 5492 -rw-r--r--
file buildchapter.sh 1440 -rwxr-xr-x
file buildguide.sh 715 -rwxr-xr-x
file buildrules.sh 449 -rwxr-xr-x
file cfp.tex 44932 -rw-r--r--
file dd.tex 88927 -rw-r--r--
file gl.tex 46152 -rw-r--r--
file gs.tex 13743 -rw-r--r--
file intro.tex 7924 -rw-r--r--
file isdp.tex 46218 -rw-r--r--
file pcb.tex 11550 -rw-r--r--
file ra.tex 17238 -rw-r--r--
file sbb.tex 21489 -rw-r--r--
file sf.tex 76775 -rw-r--r--
file titlepage.tex 978 -rw-r--r--
file usersguide.tex 1178 -rw-r--r--
file winsum.tex 21206 -rw-r--r--
file wm.tex 14807 -rw-r--r--
file xg-i.tex 28020 -rw-r--r--
file xg-ii.tex 27759 -rw-r--r--
file xg-iii.tex 39767 -rw-r--r--