summaryrefslogtreecommitdiffhomepage
path: root/docs
diff options
context:
space:
mode:
authorGuido Günther <agx@sigxcpu.org>2017-08-04 14:06:32 -0300
committerGuido Günther <agx@sigxcpu.org>2017-08-04 19:02:12 -0300
commit961723ec133313d8c1ffb89c91215b1061e4f4a8 (patch)
treef5cf9b754cb66528c0d39e2e2ceee230125ce05d /docs
parente5132b1b1b78c7873460b6013fd27ffacb3ff06a (diff)
docs: generate version.py if missing
This makes doc builds succeed in a clean tree.
Diffstat (limited to 'docs')
-rw-r--r--docs/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile
index 1751432c..edac5a91 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -68,6 +68,9 @@ git-pbuilder.1: ../bin/git-pbuilder
manual.sgml: $(VERSION_ENT)
+$(GBP_VERSION): ../debian/changelog
+ cd .. && python setup.py build --help >/dev/null
+
$(VERSION_ENT): $(GBP_VERSION)
echo '<!ENTITY gbp-version "$(DEB_VERSION)">' > $(VERSION_ENT)