projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Makefile: add README.pdf target
[model-checker.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index b7fd60bd5cfeca63e8ddf7886338d68364cb41d6..37bdcd11ce415d4eb5eafdee8791b5458fa21837 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-79,3
+79,7
@@
PHONY += pdfs
pdfs: $(patsubst %.dot,%.pdf,$(wildcard *.dot))
.PHONY: $(PHONY)
+
+# A 1-inch margin PDF generated by 'pandoc'
+%.pdf: %.md
+ pandoc -o $@ $< -V header-includes='\usepackage[margin=1in]{geometry}'