diff options
author | Stefano Sabatini <stefasab@gmail.com> | 2012-08-11 13:58:57 +0400 |
---|---|---|
committer | Stefano Sabatini <stefasab@gmail.com> | 2012-08-18 12:04:25 +0400 |
commit | 8e2cf68d091ad59749aab085c2c08091ddbeea76 (patch) | |
tree | c2641704ac6ad9bca4b7520a5809c3f48d4f84af /doc | |
parent | 9467f4eb5d90bdcffc3dd7c0751443eb1b1b4eb4 (diff) |
doc/Makefile: add doc target, as an alias for "documentation"
Consistent with --enable-doc, and easier to type.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 3fe6921fcf..e594c44722 100644 --- a/doc/Makefile +++ b/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 |