diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -207,7 +207,7 @@ htmldoc: | |||
207 | python3 -m venv venv/ | 207 | python3 -m venv venv/ |
208 | bash -c 'source venv/bin/activate; \ | 208 | bash -c 'source venv/bin/activate; \ |
209 | pip install mkdocs; \ | 209 | pip install mkdocs; \ |
210 | mkdocs build' | 210 | mkdocs build --clean' |
211 | find doc/html/ -type f -exec chmod a-x '{}' \; | 211 | find doc/html/ -type f -exec chmod a-x '{}' \; |
212 | rm -r venv | 212 | rm -r venv |
213 | 213 | ||