From fd2e8fad79161a77423728abbc492fe8a68287fc Mon Sep 17 00:00:00 2001 From: VirtualTam Date: Tue, 26 Jun 2018 22:20:29 +0200 Subject: Let MkDocs clean previously generated HTML pages Signed-off-by: VirtualTam --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 4adbdd68..b0cdadf0 100644 --- a/Makefile +++ b/Makefile @@ -207,7 +207,7 @@ htmldoc: python3 -m venv venv/ bash -c 'source venv/bin/activate; \ pip install mkdocs; \ - mkdocs build' + mkdocs build --clean' find doc/html/ -type f -exec chmod a-x '{}' \; rm -r venv -- cgit v1.2.3