diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 98545df..0000000 --- a/Makefile +++ /dev/null @@ -1,24 +0,0 @@ -BOOK:=manual.pdf -SOURCES:=src/*.md -FIGURES:=$(shell find . -name "*.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 |