diff options
Diffstat (limited to 'make/doc.make')
| -rw-r--r-- | make/doc.make | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/make/doc.make b/make/doc.make new file mode 100644 index 0000000..545d483 --- /dev/null +++ b/make/doc.make @@ -0,0 +1,18 @@ +.PHONY: doc +doc: doc/include_graph.pdf doc/techreport.pdf + +doc/include_graph.svg: toolbin/gen_include_dep_graph.sh core/*.?pp + (cd core && ../toolbin/gen_include_dep_graph.sh *.?pp) | dot -Tsvg -o $@ + +doc/%.pdf: doc/%.svg + inkscape $< -A $@ + +doc/%.pdf: doc/%.tex + rubber -d $< + +doc/%.tex: doc/%.org + emacs -batch -l ~/.emacs --eval "(setq org-export-headline-levels 5)" --visit=$< --funcall org-export-as-latex-batch + +.PHONY: doc/clean +doc/clean: + rm -f doc/*{aux,log,out,pdf,png,tex,toc,~} doc/include_graph.svg |