diff -r b46587623486 doc/mkdoc.py
--- a/doc/mkdoc.py	Tue Feb 08 18:41:02 2011 +0100
+++ b/doc/mkdoc.py	Tue Feb 08 20:32:08 2011 +0100
@@ -84,9 +84,9 @@
 labelhack("userguide.rst")
 #os.system("pandoc -f rst -t latex -o userguide-body.tex userguide.rst")
 os.system("rst2latex.py userguide.rst --output-encoding=utf8 --template=ug-template.tex > UserGuide.tex")
-os.system(r"sed -i 's/\\{\\{clr\\}\\}//g' UserGuide.tex")
-os.system(r"sed -i 's/⬜/$\\square$/g' UserGuide.tex")
-os.system(r"sed -i 's/\\addcontentsline{toc}{section}{Features}//g' UserGuide.tex")
+os.system(r"sed -i -e 's/\\{\\{clr\\}\\}//g' UserGuide.tex")
+os.system(r"sed -i -e 's/⬜/$\\square$/g' UserGuide.tex")
+os.system(r"sed -i -e 's/\\addcontentsline{toc}{section}{Features}//g' UserGuide.tex")
 os.system("pdflatex UserGuide.tex")
 os.system("pdflatex UserGuide.tex")
 #os.system(r"sed -i 's/\\{\\{clr\\}\\}//g' userguide-body.tex")
@@ -101,7 +101,7 @@
 fixwikilinks("INSTALL.rst")
 os.system("pandoc -f rst -t latex -o install-body.tex INSTALL.rst")
 os.system("rst2latex.py INSTALL.rst --output-encoding=utf8 --template=ins-template.tex > INSTALL.tex")
-os.system(r"sed -i 's/\\{\\{clr\\}\\}//g' INSTALL.tex")
+os.system(r"sed -i -e 's/\\{\\{clr\\}\\}//g' INSTALL.tex")
 os.system("pdflatex INSTALL.tex")
 os.system("pdflatex INSTALL.tex")