doc/Makefile
changeset 6486 960bc707ea10
parent 4753 620cea146b19
child 6724 2e58f1a36046
--- a/doc/Makefile	Sat Apr 05 18:15:04 2008 +0200
+++ b/doc/Makefile	Mon Apr 07 09:02:04 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