TEXIS = pintos.texi intro.texi tour.texi threads.texi userprog.texi \
vm.texi filesys.texi references.texi standards.texi doc.texi \
TEXIS = pintos.texi intro.texi tour.texi threads.texi userprog.texi \
vm.texi filesys.texi references.texi standards.texi doc.texi \