diff options
Diffstat (limited to 'documentation/cxx/tree/manual/makefile')
-rw-r--r-- | documentation/cxx/tree/manual/makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/documentation/cxx/tree/manual/makefile b/documentation/cxx/tree/manual/makefile new file mode 100644 index 0000000..bfdd6d3 --- /dev/null +++ b/documentation/cxx/tree/manual/makefile @@ -0,0 +1,12 @@ +.PHONY: all +all: cxx-tree-manual.ps cxx-tree-manual.pdf + +cxx-tree-manual.pdf: cxx-tree-manual.ps + ps2pdf14 $< + +cxx-tree-manual.ps: index.xhtml manual.html2ps + html2ps -f manual.html2ps -o $@ $< + +.PHONY: clean +clean: + rm -f cxx-tree-manual.ps cxx-tree-manual.pdf |