Merge pull request #453 from darko-poljak/improve-docs-build

Improve docs build
This commit is contained in:
Nico Schottelius 2016-07-07 21:49:38 +09:00 committed by GitHub
commit 9b2800b614
90 changed files with 163 additions and 242 deletions

View file

@ -241,8 +241,8 @@ eof
"$0" check-date
"$0" check-unittest
# Generate man pages (indirect check if they build)
make helper=${helper} WEBDIR=${WEBDIR} man
# Generate documentation (man and html)
make helper=${helper} WEBDIR=${WEBDIR} docs
# Generate speeches (indirect check if they build)
make helper=${helper} WEBDIR=${WEBDIR} speeches