X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=44b20992c2b3f47d60744884084c05936e7e66f9;hb=d4711f749a61550fc1e64e2f78af1e8827b92de3;hp=53f232e682a1acd12e5df22a262599ed228b3727;hpb=f415a37905c57f61b444806bf84f5405184452aa;p=pintos-anon diff --git a/doc/Makefile b/doc/Makefile index 53f232e..44b2099 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,6 +1,7 @@ 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 +filesys.texi license.texi reference.texi 44bsd.texi standards.texi \ +doc.texi sample.tmpl.texi devel.texi debug.texi installation.texi \ +bibliography.texi all: pintos.html pintos.info pintos.dvi pintos.ps pintos.pdf