doc/Makefile: add doc target, as an alias for "documentation"
authorStefano Sabatini <stefasab@gmail.com>
Sat, 11 Aug 2012 09:58:57 +0000 (11:58 +0200)
committerStefano Sabatini <stefasab@gmail.com>
Sat, 18 Aug 2012 08:04:25 +0000 (10:04 +0200)
Consistent with --enable-doc, and easier to type.

doc/Makefile

index 3fe6921..e594c44 100644 (file)
@@ -18,7 +18,9 @@ DOCS-$(CONFIG_MANPAGES)  += $(MANPAGES)
 DOCS-$(CONFIG_TXTPAGES)  += $(TXTPAGES)
 DOCS = $(DOCS-yes)
 
-all-$(CONFIG_DOC): documentation
+all-$(CONFIG_DOC): doc
+
+doc: documentation
 
 documentation: $(DOCS)
 
@@ -72,4 +74,4 @@ clean::
 
 -include $(wildcard $(DOCS:%=%.d))
 
-.PHONY: documentation
+.PHONY: doc documentation