diff --git a/Makefile b/Makefile index 68ee5ed..133d2e1 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,7 @@ output: cp README.for_webpage.md html/README.md ldoc: - rm -f src/build + make -C src distclean HOME=$(OLD_HOME) make -C src cmake-build ldoc clean: