diff --git a/Makefile.am b/Makefile.am
index e3357e4..c05190a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -96,6 +96,8 @@ $(path_externs_internal): | mkbuild
 
 doc:
 	$(MAKE) -C "$(path_doc)"
+html-single:
+	$(MAKE) -C "$(path_doc)" html-single
 
 test: check
 check: @SRC_TESTS@ test-suite