[PATCH] Create man page with "make all"

[Sebastian Spaeth]

Debian has a bug that we don't include a man page, and indeed we don't
create one when calling "make all". This patch adds the man page to the
all target.

see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=618516

Proposed-by: Albert Dengg <albert at fsfe.org>
Signed-off-by: Sebastian Spaeth <Sebastian at SSpaeth.de>
---
 docs/Makefile |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 70a99a2..c241d3c 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -8,7 +8,7 @@ RM = rm
 RST2HTML=`type rst2html >/dev/null 2>&1 && echo rst2html || echo rst2html.py`
 RST2MAN=`type rst2man >/dev/null 2>&1 && echo rst2man || echo rst2man.py`
 
-all: html
+all: html man
 
 html: $(HTML_TARGETS)
 
-- 
1.7.4.1