about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--mk/docs.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/docs.mk b/mk/docs.mk
index b06ff4a6027..644fbde323c 100644
--- a/mk/docs.mk
+++ b/mk/docs.mk
@@ -191,6 +191,7 @@ ifdef CFG_DISABLE_DOCS
 endif
 
 docs: $(DOC_TARGETS)
+doc: docs
 compiler-docs: $(COMPILER_DOC_TARGETS)
 
 trpl: doc/book/index.html