all: projects.html projects.info
projects.html: $(TEXIS) mlfqs1.png mlfqs2.png
- texi2html -toc_file=$@ -split=chapter -no-sec_nav -no-menu $<
+ texi2html -toc_file=$@ -split=chapter -no-sec_nav -no-menu -init_file pintos-t2h.init $<
projects.info: $(TEXIS)
makeinfo $<