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

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