diff options
author | Guido Günther <agx@sigxcpu.org> | 2017-08-04 14:06:32 -0300 |
---|---|---|
committer | Guido Günther <agx@sigxcpu.org> | 2017-08-04 19:02:12 -0300 |
commit | 961723ec133313d8c1ffb89c91215b1061e4f4a8 (patch) | |
tree | f5cf9b754cb66528c0d39e2e2ceee230125ce05d /docs/Makefile | |
parent | e5132b1b1b78c7873460b6013fd27ffacb3ff06a (diff) |
docs: generate version.py if missing
This makes doc builds succeed in a clean tree.
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 3 |
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) |