From 8e2cf68d091ad59749aab085c2c08091ddbeea76 Mon Sep 17 00:00:00 2001
From: Stefano Sabatini <stefasab@gmail.com>
Date: Sat, 11 Aug 2012 11:58:57 +0200
Subject: [PATCH] doc/Makefile: add doc target, as an alias for "documentation"

Consistent with --enable-doc, and easier to type.
---
 doc/Makefile | 6 ++++--
 1 file 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