summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-11-12 19:51:36 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-11-12 19:51:36 -0800
commit43bcf5b4d45e8b6498ed96127e83f1b16d6df84c (patch)
tree5e0cc834d4f33d5f1513db08f8a13856a74ab423
parentcc31d7d14f0102c3f01ab987fb1539d7206fd684 (diff)
Makefile: include version in man page.
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 7c16418f8..e4c792b2a 100644
--- a/Makefile
+++ b/Makefile
@@ -48,6 +48,7 @@ man/pandoc.1: README man/pandoc.1.template
--filter man/capitalizeHeaders.hs \
--filter man/removeNotes.hs \
--filter man/removeLinks.hs \
+ --variable version="pandoc $(version)" \
-o $@
download_stats: