From dbd87e2e355a295d22ba31410ebf19951e1a62fc Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Wed, 18 Dec 2019 18:51:39 +0300
Subject: [PATCH] Less sed

---
 makedist.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/makedist.sh b/makedist.sh
index 5fc3d19..d73936a 100755
--- 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
 
-- 
2.44.0