From eac5d91d8e5e542d27d86066c8f499370f3c138a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Th=C3=A9r=C3=A8se=20Godefroy?= <godef.th@free.fr>
Date: Fri, 29 Jan 2016 22:25:58 +0100
Subject: [PATCH] assemble-all-pages: fix a bug (stopped working when grep
 returned nothing)

---
 en/kitchen/assemble-all-pages |  7 +++----
 fr/kitchen/assemble-all-pages |  7 +++----
 ru/kitchen/assemble-all-pages | 12 +++++-------
 3 files changed, 11 insertions(+), 15 deletions(-)

diff --git a/en/kitchen/assemble-all-pages b/en/kitchen/assemble-all-pages
index 7cfdb810..75e459c5 100755
--- a/en/kitchen/assemble-all-pages
+++ b/en/kitchen/assemble-all-pages
@@ -99,10 +99,9 @@ echo 'windows' >> $names
 
 while read name ; do
   # Find out which deletions apply.
-  grep '^<!-- START DELETION' ../$name.html \
-  | grep -v "$name" \
-  | sed 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' > $list
-  echo $name
+  grep '^<!-- START DELETION' ../$name.html |
+  grep -v "$name" > $list || true
+  sed -i 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' $list
   # Delete.
   while read deletion; do
     sed -i "/^<!-- START DELETION $deletion/, \
diff --git a/fr/kitchen/assemble-all-pages b/fr/kitchen/assemble-all-pages
index 7cfdb810..75e459c5 100755
--- a/fr/kitchen/assemble-all-pages
+++ b/fr/kitchen/assemble-all-pages
@@ -99,10 +99,9 @@ echo 'windows' >> $names
 
 while read name ; do
   # Find out which deletions apply.
-  grep '^<!-- START DELETION' ../$name.html \
-  | grep -v "$name" \
-  | sed 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' > $list
-  echo $name
+  grep '^<!-- START DELETION' ../$name.html |
+  grep -v "$name" > $list || true
+  sed -i 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' $list
   # Delete.
   while read deletion; do
     sed -i "/^<!-- START DELETION $deletion/, \
diff --git a/ru/kitchen/assemble-all-pages b/ru/kitchen/assemble-all-pages
index 6279e6c5..75e459c5 100755
--- a/ru/kitchen/assemble-all-pages
+++ b/ru/kitchen/assemble-all-pages
@@ -47,9 +47,8 @@ set -e
 set -o pipefail
 
 function close_term () {
-  echo;
-  echo '*** Close the terminal window or press Return.';
-  exit $1
+  printf '\n%s' '*** Close the terminal window or press Return.'; read OK
+  test -z "$OK" && exit $1
 }
 
 # Create temporary files.
@@ -100,10 +99,9 @@ echo 'windows' >> $names
 
 while read name ; do
   # Find out which deletions apply.
-  grep '^<!-- START DELETION' ../$name.html \
-  | grep -v "$name" \
-  | sed 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' > $list
-  echo $name
+  grep '^<!-- START DELETION' ../$name.html |
+  grep -v "$name" > $list || true
+  sed -i 's%^<!-- START DELETION \([0-9][0-9]\),.*$%\1%' $list
   # Delete.
   while read deletion; do
     sed -i "/^<!-- START DELETION $deletion/, \
-- 
2.25.1