-TEXIS = pintos.texi intro.texi tour.texi threads.texi userprog.texi \
-vm.texi filesys.texi references.texi standards.texi doc.texi \
-sample.tmpl devel.texi debug.texi 44bsd.texi
+TEXIS = pintos.texi intro.texi threads.texi userprog.texi vm.texi \
+filesys.texi bibliography.texi reference.texi standards.texi doc.texi \
+sample.tmpl.texi devel.texi debug.texi 44bsd.texi