Make comment more readable.
[pintos.git] / doc / 
tree51d90911459c98be884554cface807d95ffddbd6
drwxr-xr-x   ..
-rw-r--r-- 196 .cvsignore
-rw-r--r-- 16412 44bsd.texi
-rw-r--r-- 918 Makefile
-rw-r--r-- 4717 bibliography.texi
-rw-r--r-- 30344 debug.texi
-rw-r--r-- 10243 devel.texi
-rw-r--r-- 2291 doc.texi
-rw-r--r-- 22393 filesys.texi
-rw-r--r-- 5393 filesys.tmpl
-rw-r--r-- 8119 installation.texi
-rw-r--r-- 25363 intro.texi
-rw-r--r-- 4532 license.texi
-rw-r--r-- 574 pintos-t2h.init
-rw-r--r-- 983 pintos.css
-rw-r--r-- 1447 pintos.texi
-rw-r--r-- 92742 reference.texi
-rw-r--r-- 3971 sample.tmpl
-rw-r--r-- 7503 standards.texi
-rwxr-xr-x 186782 texi2html
-rw-r--r-- 223645 texinfo.tex
-rw-r--r-- 32089 threads.texi
-rw-r--r-- 5342 threads.tmpl
-rw-r--r-- 48273 userprog.texi
-rw-r--r-- 5356 userprog.tmpl
-rw-r--r-- 31136 vm.texi
-rw-r--r-- 5763 vm.tmpl