aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4adbdd68..b0cdadf0 100644
--- a/Makefile
+++ b/Makefile
@@ -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