From ac13bdeaa7c4f3315c1875a794613c7c60c82f2f Mon Sep 17 00:00:00 2001
From: axel <axel@liljencrantz.se>
Date: Tue, 22 Aug 2006 10:48:53 +1000
Subject: [PATCH] Work around Doxygen bug in man-file generation

darcs-hash:20060822004853-ac50b-3c5036484961825304059567670eea0ccb3cd643.gz
---
 Makefile.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index 56bdb220d..222b3432f 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -335,6 +335,9 @@ doc_src/builtin_doc: $(BUILTIN_DOC_SRC) doc_src/count.txt builtin_help.hdr $(CMD
 		echo "*/" >>$$FILE; \
 	done
 	cd doc_src; doxygen; cd ..;
+	for i in doc_src/builtin_doc/man/man1/*.1; do \
+		sed -i -e "s/\(.\)\\.SH/\1/" $$i; \
+	done 
 	touch doc_src/builtin_doc
 
 builtin_help.c: doc_src/builtin_doc gen_hdr.sh