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