Fix ld output with recent versions of GCC and binutils
[pintos-anon] / doc /
drwxr-xr-x   ..
-rw-r--r-- 232 .gitignore
-rw-r--r-- 16473 44bsd.texi
-rw-r--r-- 943 Makefile
-rw-r--r-- 5473 bibliography.texi
-rw-r--r-- 31074 debug.texi
-rw-r--r-- 4702 devel.texi
-rw-r--r-- 2291 doc.texi
-rw-r--r-- 22585 filesys.texi
-rw-r--r-- 5281 filesys.tmpl
-rw-r--r-- 8169 installation.texi
-rw-r--r-- 23354 intro.texi
-rw-r--r-- 2689 license.texi
-rw-r--r-- 7895 localcvsinstructions.texi
-rw-r--r-- 2231 localsettings.texi
-rw-r--r-- 574 pintos-t2h.init
-rw-r--r-- 983 pintos.css
-rw-r--r-- 1507 pintos.texi
-rw-r--r-- 95472 reference.texi
-rw-r--r-- 3971 sample.tmpl
-rw-r--r-- 7164 standards.texi
-rwxr-xr-x 186760 texi2html
-rw-r--r-- 223645 texinfo.tex
-rw-r--r-- 34231 threads.texi
-rw-r--r-- 5342 threads.tmpl
-rw-r--r-- 50820 userprog.texi
-rw-r--r-- 5356 userprog.tmpl
-rw-r--r-- 34234 vm.texi
-rw-r--r-- 5764 vm.tmpl