pintos-os.org Git - pintos-anon/blob - doc/Makefile

   1 TEXIS = projects.texi intro.texi threads.texi mlfqs.texi userprog.texi  \
   2 filesys.texi vm.texi standards.texi doc.texi devel.texi debug.texi
   3
   4 all: projects.html projects.info
   5
   6 projects.html: $(TEXIS) mlfqs1.png mlfqs2.png
   7         texi2html -toc_file=$@ -split=chapter -no-sec_nav -no-menu -init_file pintos-t2h.init $<
   8
   9 projects.info: $(TEXIS)
  10         makeinfo $<
  11
  12 %.eps: %.jgr
  13         jgraph $< > $@.tmp && mv $@.tmp $@
  14
  15 %.png: %.eps
  16         convert $< $@
  17
  18 clean:
  19         rm -f *.info *.html *.eps *.png