Update Makefile

Solve make htmldoc error on python3 ubuntu
This commit is contained in:
Brendan M. Sleight 2020-02-05 20:07:47 +00:00 committed by GitHub
parent f6637392a9
commit 52964ec873
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -156,6 +156,7 @@ phpdoc: clean
htmldoc:
python3 -m venv venv/
bash -c 'source venv/bin/activate; \
pip install wheel; \
pip install mkdocs; \
mkdocs build --clean'
find doc/html/ -type f -exec chmod a-x '{}' \;