Include version number in generated documentation

diff --git a/dev.mk.in b/dev.mk.in
index 65bb6f2a6399f87b914c238f9cb13e5459aaaaae..2b18b938cdc9bd76057ad92ff1bbc481d15e0dbe 100644 (file)
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -71,10 +71,10 @@ distcheck: $(dist_archive_tar_bz2)
 docs: $(generated_docs)
 
 %.html: %.txt
-       $(ASCIIDOC) -a toc -b xhtml11 $<
+       $(ASCIIDOC) -a revnumber=$(version) -a toc -b xhtml11 $<
 
 %.xml: %.txt
-       $(ASCIIDOC) -d manpage -b docbook $<
+       $(ASCIIDOC) -a revnumber=$(version) -d manpage -b docbook $<
 
 ccache.1: manual.xml
        $(XSLTPROC) --nonet $(MANPAGE_XSL) $<

diff --git a/manual.txt b/manual.txt
index 088cac6a0373286b8f910d4fba270440d02bccd1..efe0fe45dbf1925bb6537a73ec96d9a8e9cef6d7 100644 (file)
--- a/manual.txt
+++ b/manual.txt
@@ -1,5 +1,8 @@
 CCACHE(1)
 =========
+:man source:  ccache
+:man version: {revnumber}
+:man manual:  ccache Manual
 
 
 Name