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 \
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 \