Subject: [PATCH] cogito bugfixes and cleanups, mainly Debian things

From: Tommi Virtanen <[email-masked]>
Date: Fri, 26 Aug 2005 14:01:35 +0300

Make the text format docs too.

Signed-off-by: Tommi Virtanen <[email-masked]>

---
commit 3a0094e4985bcb5970ecee2d59d0ba5f5a806d2d
tree b4d3b267a4b15d3068727fad080c12f6d10a6cd9
parent 91aeeed108292bb42f7b133da13ec6881cf84a9e
author Tommi Virtanen <[email-masked]> Fri, 26 Aug 2005 13:34:09 +0300
committer Tommi Virtanen <[email-masked]> Fri, 26 Aug 2005 13:34:09 +0300

 Documentation/Makefile |    4 +++-
 debian/rules           |    2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/Documentation/Makefile b/Documentation/Makefile
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -29,7 +29,7 @@ INSTALL=install
 # yourself - yes, all 6 characters of it!
 #
 
-all: html man
+all: html man txt
 
 html: $(DOC_HTML)
 
@@ -38,6 +38,8 @@ man: man1 man7
 man1: $(DOC_MAN1)
 man7: $(DOC_MAN7)
 
+txt: $(MAN1_TXT) $(MAN7_TXT)
+
 install: man
 	$(INSTALL) -m755 -d $(DESTDIR)/$(txtdir)
 	$(INSTALL) $(MAN1_TXT) $(MAN7_TXT) $(DESTDIR)/$(txtdir)
diff --git a/debian/rules b/debian/rules
--- a/debian/rules
+++ b/debian/rules
@@ -48,7 +48,7 @@ build: build-stamp
 build-stamp: configure-stamp 
 	dh_testdir
 	$(MAKE)
-	$(MAKE) -C Documentation html man
+	$(MAKE) -C Documentation all
 	touch build-stamp
 
 clean: