diff -r dbd301063e59 Doc/Makefile
--- a/Doc/Makefile	Sat Jul 06 15:08:29 2013 +0200
+++ b/Doc/Makefile	Sat Jul 06 18:12:07 2013 +0200
@@ -27,6 +27,7 @@
 	@echo "  latex      to make LaTeX files, you can set PAPER=a4 or PAPER=letter"
 	@echo "  text       to make plain text files"
 	@echo "  epub       to make EPUB files"
+	@echo "  devhelp    to make HTML files and a Devhelp project"
 	@echo "  changes    to make an overview over all changed/added/deprecated items"
 	@echo "  linkcheck  to check all external links for integrity"
 	@echo "  coverage   to check documentation coverage for library and C API"
@@ -86,6 +87,13 @@
 epub: build
 	@echo "Build finished; the epub files are in build/epub."
 
+devhelp: BUILDER = devhelp
+devhelp: build
+	@echo "Build finished; the devhelp files are in build/devhelp."
+	@echo "To install locally:"
+	@echo "mkdir -p $$HOME/.local/share/devhelp/books/"
+	@echo "ln -s `pwd`/build/devhelp $$HOME/.local/share/devhelp/books/Python"
+
 changes: BUILDER = changes
 changes: build
 	@echo "The overview file is in build/changes."