From 2b17df256812c29c6c446ee1bf2d2121a1feb422 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sun, 21 Jun 2009 19:03:53 -0400
Subject: Get rid of the doc Makefile, put it all in the root.

---
 Makefile | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 31b79b08..59681065 100644
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,7 @@ clean:
 	-rm -f .coverage .coverage.*
 	-rm -f $(TEST_ZIP)
 	-rm -f setuptools-*.egg
+	-rm -rf doc/_build/*
 
 LINTABLE_TESTS = \
 	test/coverage_coverage.py \
@@ -63,3 +64,24 @@ $(DEVINST_FILE): coverage/tracer.c
 uninstall:
 	-rm -rf $(PYHOME)/lib/site-packages/coverage*
 	-rm -rf $(PYHOME)/scripts/coverage*
+
+SPHINXBUILD = sphinx-build
+SPHINXOPTS = -a -E doc
+WEBHOME = c:/ned/web/stellated/pages/code/coverage
+
+px:
+	$(SPHINXBUILD) -b px $(SPHINXOPTS) doc/_build/px
+	rm doc/_build/px/search.px
+	@echo
+	@echo "Build finished. The PX files are in doc/_build/px."
+
+dochtml:
+	$(SPHINXBUILD) -b html $(SPHINXOPTS) doc/_build/html
+	@echo
+	@echo "Build finished. The HTML pages are in doc/_build/html."
+
+publish:
+	rm -f $(WEBHOME)/*.px
+	cp doc/_build/px/*.px $(WEBHOME)
+	rm -f $(WEBHOME)/sample_html/*.*
+	cp doc/sample_html/*.* $(WEBHOME)/sample_html
-- 
cgit v1.2.1