Don't need the .px doc toolchain any morecoverage-4.0b2

1 files changed, 0 insertions, 19 deletions

diff --git a/doc/_ext/px_cleaner.py b/doc/_ext/px_cleaner.py
deleted file mode 100644
index 2454120..0000000
--- a/doc/_ext/px_cleaner.py
+++ /dev/null
@@ -1,19 +0,0 @@
-"""Clean up .px files created by Sphinx."""
-
-import sys
-
-def clean_px(fname):
-    """Clean a px file."""
-
-    with open(fname) as f:
-        text = f.read()
-    text = text.lstrip()
-    with open(fname, "w") as f:
-        f.write(text)
-
-def clean_px_files(fnames):
-    for fname in fnames:
-        clean_px(fname)
-
-if __name__ == '__main__':
-    clean_px_files(sys.argv[1:])