diff options
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile index 09463244..cc9fff9c 100644 --- a/Makefile +++ b/Makefile @@ -61,7 +61,8 @@ 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 |