Add a make docs target

diff --git a/mk/docs.mk b/mk/docs.mk
index 4c46c437ad508cbd97c054cb5a055802f6e6b75c..5c7e3fb74d89b43bbce59169fd26479e2ffa4e00 100644 (file)
--- a/mk/docs.mk
+++ b/mk/docs.mk
@@ -2,6 +2,8 @@
 # Doc variables and rules
 ######################################################################
 
+docs: $(DOCS)
+
 doc/version.texi: $(MKFILES) rust.texi
        @$(call E, version-stamp: $@)
        $(Q)echo "@macro gitversion" >$@