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/, \