Less sed

diff --git a/makedist.sh b/makedist.sh
index 5fc3d19baffa93c88b1effcd3e5224515a60d6d4..d73936a5d31a083f8991fae51b8131b68c75282f 100755 (executable)
--- a/makedist.sh
+++ b/makedist.sh
@@ -78,9 +78,9 @@ cat > $texi <<EOF
 @include install.texi
 @bye
 EOF
-sed -i.tmp "s/@verbatiminclude PUBKEY.asc/Look in PUBKEY.asc file./" install.texi
+perl -i -p -e "s/.verbatiminclude PUBKEY.asc/Look in PUBKEY.asc file./" install.texi
 makeinfo --plaintext -o INSTALL $texi
-rm $texi install.texi.tmp
+rm $texi
 
 rm -rf .git .gitignore style.css makedist.sh www.mk