diff options
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile index cc9fff9c..57db7b11 100644 --- a/Makefile +++ b/Makefile @@ -61,11 +61,11 @@ doc: cleandoc $(PYTHON) -c 'import pydoc, sys; \ sys.path[0] = "$(CWD)"; \ pydoc.writedocs("$(CWD)")' - rm $(DOCDIR)/test*; \ + rm $(DOCDIR)/test* find . -name \*.html -exec sed -i 's|'$(CWD)'|../..|g' -- {} \; cleandoc: - test -d $(DOCDIR) && rm -f -- $(DOCDIR)/*.html + test -d $(DOCDIR) && rm -f -- $(DOCDIR)/*.html || true test: @$(PYTHON) test/all_tests.py 1 |