removed 'address' option for Bochs.
[pintos-anon] / doc /
drwxr-xr-x   ..
-rw-r--r-- 196 .cvsignore
-rw-r--r-- 16495 44bsd.texi
-rw-r--r-- 962 Makefile
-rw-r--r-- 5231 bibliography.texi
-rw-r--r-- 30297 debug.texi
-rw-r--r-- 4064 devel.texi
-rw-r--r-- 2291 doc.texi
-rw-r--r-- 22405 filesys.texi
-rw-r--r-- 5281 filesys.tmpl
-rw-r--r-- 8119 installation.texi
-rw-r--r-- 23806 intro.texi
-rw-r--r-- 4532 license.texi
-rw-r--r-- 7895 localcvsinstructions.texi
-rw-r--r-- 3199 localsettings.texi
-rw-r--r-- 574 pintos-t2h.init
-rw-r--r-- 983 pintos.css
-rw-r--r-- 1507 pintos.texi
-rw-r--r-- 92743 reference.texi
-rw-r--r-- 3971 sample.tmpl
-rw-r--r-- 7164 standards.texi
-rwxr-xr-x 186782 texi2html
-rw-r--r-- 223645 texinfo.tex
-rw-r--r-- 32038 threads.texi
-rw-r--r-- 5342 threads.tmpl
-rw-r--r-- 49576 userprog.texi
-rw-r--r-- 5356 userprog.tmpl
-rw-r--r-- 31293 vm.texi
-rw-r--r-- 5763 vm.tmpl