diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..994d932 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,21 @@ +all: mapping.html mapping.pdf mapping.html + + +images = figure-01.png + +mapping.html: $(images) + +mapping.pdf: $(images) + +%.html: %.rst + rst2html $< $@ + +%.pdf: %.rst + rst2pdf --footer='-###Page###-' $< -o $@ + +%.png: %.svg + inkscape -z -e $@ -w 800 $< + +figure-01.svg: figure-01.diag + blockdiag -Tsvg $< + |