Added a "make zipfile" target for pythonhosted.org doc hosting.

mboersma · mboersma · commit d518536feb37 · 2013-08-02T12:24:40.000-06:00
diff --git a/docs/.gitignore b/docs/.gitignore
@@ -1 +1,2 @@
 _build/
+docs.zip
diff --git a/docs/Makefile b/docs/Makefile
@@ -6,6 +6,7 @@ SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
 PAPER         =
 PYTHON        = python
+ZIP           = zip
 BUILDDIR      = _build
 
 # User-friendly check for sphinx-build
@@ -56,6 +57,9 @@ help:
 clean:
 	rm -rf $(BUILDDIR)/*
 
+zipfile:
+	cd $(BUILDDIR)/dirhtml; $(ZIP) -r -D -o ../../docs.zip .
+
 html:
 	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
 	@echo
