From fab15a5c71bfb19f1260b32543329f759d707788 Mon Sep 17 00:00:00 2001
From: Pieter Holtzhausen <holtzhau@gmail.com>
Date: Mon, 11 Jul 2011 14:52:41 +0200
Subject: [PATCH] Makefile option for gh-pages generation.

---
 doc/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/Makefile b/doc/Makefile
index 55c952df..4da1e8a0 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -108,3 +108,6 @@ doctest:
 	$(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(DEST)/doctest
 	@echo "Testing of doctests in the sources finished, look at the " \
 	      "results in build/doctest/output.txt."
+
+gh-pages:
+	python gh-pages.py