diff --git a/Makefile.am b/Makefile.am
index 2e3e931..4f555b1 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -173,6 +173,9 @@ dist_html_DATA = $(HTML_FILES)
 
 $(HTML_TANGLED): $(htmlizer)
 
+html: $(dist_html_DATA)
+doc: html
+
 # =============== DEVELOPER MODE =============== #
 
 SWIG          = @SWIG@