From dd4f3dc62594ba466868b50cd683ba81c6f2d2b6 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Sat, 28 Dec 2019 14:43:37 +0300 Subject: [PATCH] Remove temporary file only at the end --- makedist.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/makedist.sh b/makedist.sh index d8ba2e8..21368a2 100755 --- a/makedist.sh +++ b/makedist.sh @@ -140,8 +140,6 @@ cat > $texi < $texi < $texi < $texi < $texi <