diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..f6f1090 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,24 @@ +BOOK:=manual.pdf +SOURCES:=src/*.md +FIGURES:=src/figs/*.svg +PFLAGS:=--table-of-contents \ + --pdf-engine=xelatex \ + --from=markdown \ + --number-sections \ + --indented-code-classes=javascript \ + --highlight-style=monochrome \ + -V mainfont="Apple Garamond" \ + -V monofont="FreeMono" \ + -V documentclass=report \ + -V papersize=letter \ + -V geometry:margin=1in + +.PHONY: all clean + +all: $(BOOK) + +$(BOOK): $(SOURCES) src/title.txt $(FIGURES) + pandoc $^ -o $@ $(PFLAGS) + +clean: + $(RM) *.pdf |