doc/Makefile: add doc target, as an alias for "documentation"

Consistent with --enable-doc, and easier to type.
pull/28/head
Stefano Sabatini 12 years ago
parent 9467f4eb5d
commit 8e2cf68d09
  1. 6
      doc/Makefile

@ -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

Loading…
Cancel
Save