diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -91,6 +91,9 @@ tags:
 # :ide: COMPILE: clean
 # . (let ((args "clean")) (compile (concat "make -k " args)))
 
+# :ide: COMPILE: doc
+# . (let ((args "doc")) (compile (concat "make -k " args)))
+
 # :ide: COMPILE: Standard
 # . (let ((args "")) (compile (concat "make -k " args)))
 #