diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index d94d3fab8..7ca79d3b6 100644 --- a/Makefile.in +++ b/Makefile.in @@ -136,4 +136,7 @@ release: SPHINXBUILD = @SPHINX@ docs: - @$(SPHINXBUILD) -b html -d ./Documentation ./doc ./Documentation/html + @. scripts/ptxdist_version.sh && \ + export PTXDIST_VERSION_FULL && \ + export PTXDIST_VERSION="$${PTXDIST_VERSION_YEAR}.$${PTXDIST_VERSION_MONTH}.$${PTXDIST_VERSION_BUGFIX}" && \ + $(SPHINXBUILD) -b html -d ./Documentation ./doc ./Documentation/html |