diff --git a/doc/Makefile b/doc/Makefile
index e0c5a3e77a66..e08d8896a82c 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -156,14 +156,3 @@ doctest:
 	@echo "Testing of doctests in the sources finished, look at the " \
 	      "results in $(BUILDDIR)/doctest/output.txt."
 		  
-thtml:
-	@echo "Building themed html doc"
-	$(SPHINXBUILD) -D html_theme=alabaster -D html_theme_path='' -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
-	@echo
-	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
-
-livehtml:
-	sphinx-autobuild $(ALLSPHINXOPTS) $(BUILDDIR) $(O)
-
-livethtml:
-	sphinx-autobuild -D html_theme=alabaster -D html_theme_path='' $(ALLSPHINXOPTS) $(BUILDDIR) $(O)