changeset 6356:b54d7fd6471a

This script has no bash specific stuff, it's all standard bourne shell, so execute with sh. Also see mail from Michaela.
author atmos4
date Sun, 09 Jun 2002 14:48:16 +0000
parents e97686ab386b
children 748bb00cb05b
files help_diff.sh
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/help_diff.sh	Sun Jun 09 13:52:13 2002 +0000
+++ b/help_diff.sh	Sun Jun 09 14:48:16 2002 +0000
@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /bin/sh
 
 # This script walks through the master (stdin) help/message file, and
 # prints (stdout) only those messages which are missing from the help
@@ -26,3 +26,4 @@
 fi
 
 done
+