projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
278ff43
)
Makefile: add README.pdf target
author
Brian Norris
<banorris@uci.edu>
Wed, 14 Aug 2013 06:24:13 +0000
(23:24 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 14 Aug 2013 06:24:13 +0000
(23:24 -0700)
Using pandoc:
http://johnmacfarlane.net/pandoc/
Makefile
patch
|
blob
|
history
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}'