diff doc/Makefile @ 6490:b13dae8ed779

Merge from crew-stable.
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Mon, 07 Apr 2008 09:26:40 +0200
parents 960bc707ea10
children 2e58f1a36046
line wrap: on
line diff
--- a/doc/Makefile	Sat Apr 05 21:29:02 2008 +0200
+++ b/doc/Makefile	Mon Apr 07 09:26:40 2008 +0200
@@ -18,7 +18,9 @@
 	python gendoc.py > $@
 
 %: %.xml
-	xmlto man $*.xml
+	xmlto man $*.xml ; \
+	sed -e 's/^\.hg/\\\&.hg/' $* > $*~ ; \
+	mv $*~ $*
 
 %.xml: %.txt
 	asciidoc -d manpage -b docbook $*.txt