From 6e920ee29c7a470b50af43cd6fb5e28ed603bd86 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sat, 12 Feb 2011 23:08:22 -0500
Subject: New sphinx adds a blank line before the xml declaration, this
 micro-tool strips it off.

---
 Makefile               |  1 +
 doc/_ext/px_cleaner.py | 26 ++++++++++++++++++++++++++
 2 files changed, 27 insertions(+)
 create mode 100644 doc/_ext/px_cleaner.py

diff --git a/Makefile b/Makefile
index 1c7a446..bbbf20c 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
diff --git a/doc/_ext/px_cleaner.py b/doc/_ext/px_cleaner.py
new file mode 100644
index 0000000..a5c00ff
--- /dev/null
+++ b/doc/_ext/px_cleaner.py
@@ -0,0 +1,26 @@
+"""Clean up .px files created by Sphinx."""
+
+import sys
+
+def clean_px(fname):
+    """Clean a px file."""
+
+    f = open(fname)
+    try:
+        text = f.read()
+    finally:
+        f.close()
+    text = text.lstrip()
+    f = open(fname, "w")
+    try:
+        f.write(text)
+    finally:
+        f.close()
+
+def clean_px_files(fnames):
+    for fname in fnames:
+        clean_px(fname)
+
+if __name__ == '__main__':
+    clean_px_files(sys.argv[1:])
+
-- 
cgit v1.2.1