projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Describe multi-level feedback queue scheduler.
[pintos-anon]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index 138cf35bccfb8e4f4e66c83bc9a0d555160b2ef0..f053ce9879e109fae54e6f093bc2e37e620f0a9c 100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-1,7
+1,19
@@
-TEXIS = projects.texi threads.texi userprog.texi filesys.texi vm.texi
+TEXIS = projects.texi threads.texi mlfqs.texi userprog.texi \
+filesys.texi vm.texi
+
+all: projects.html projects.info
+
+projects.html: $(TEXIS) mlfqs1.png mlfqs2.png
+ texi2html -toc_file=$@ -split=chapter -no-sec_nav -no-menu $<
projects.info: $(TEXIS)
makeinfo $<
projects.info: $(TEXIS)
makeinfo $<
-projects.html: $(TEXIS)
- texi2html -toc_file=$@ -split=chapter -no-sec_nav -no-menu $<
+%.eps: %.jgr
+ jgraph $< > $@.tmp && mv $@.tmp $@
+
+%.png: %.eps
+ convert $< $@
+
+clean:
+ rm -f *.info *.html *.eps *.png