diff options
| -rw-r--r-- | Doc/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 38745db..4052bab 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -171,6 +171,10 @@ autobuild-dev: make update make dist SPHINXOPTS='-A daily=1 -A versionswitcher=1' +# for quick rebuilds (HTML only) +autobuild-html: + make html SPHINXOPTS='-A daily=1 -A versionswitcher=1' + # for stable releases: only build if not in pre-release stage (alpha, beta, rc) autobuild-stable: @case $(DISTVERSION) in *[abc]*) \ @@ -178,3 +182,4 @@ autobuild-stable: exit 1;; \ esac @make autobuild-dev + |