1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 1c7a446e..bbbf20c2 100644
--- a/Makefile
+++ b/Makefile
@@ -73,6 +73,7 @@ WEBHOME = c:/ned/web/stellated/pages/code/coverage
 px:
 	$(SPHINXBUILD) -b px $(SPHINXOPTS) doc/_build/px
 	rm doc/_build/px/search.px
+	python doc/_ext/px_cleaner.py doc/_build/px/*.px
 
 dochtml:
 	$(SPHINXBUILD) -b html $(SPHINXOPTS) doc/_build/html