projects / pintos-anon / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Work on projects.
[pintos-anon] / doc / Makefile
1 TEXIS = projects.texi threads.texi userprog.texi filesys.texi vm.texi
2
3 projects.info: $(TEXIS)
4         makeinfo $<
5
6 projects.html: $(TEXIS)
7         texi2html -toc_file=$@ -split=chapter -no-sec_nav -no-menu $<
Pintos public repository