diff options
Diffstat (limited to 'doc-src/dev-docs/Makefile')
| -rw-r--r-- | doc-src/dev-docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc-src/dev-docs/Makefile b/doc-src/dev-docs/Makefile index 4d3b2046..666a3a86 100644 --- a/doc-src/dev-docs/Makefile +++ b/doc-src/dev-docs/Makefile @@ -192,4 +192,4 @@ pseudoxml: @echo "Build finished. The pseudo-XML files are in $(BUILDDIR)/pseudoxml." livehtml: - sphinx-autobuild -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html + sphinx-autobuild -b html -z '../../libmproxy' -r '___jb_(old|bak)___$$' $(ALLSPHINXOPTS) $(BUILDDIR)/html
\ No newline at end of file |