backport the html timestamp fixes for bootstrap

bk: 4ce77656jqG2plXc9YZVsLyTClQYhw

diff --git a/bootstrap b/bootstrap
index 79b20d650015a662a8ff1bb019305c5cadece9ef..80b8ab5b4cca07a1d8a4bcbfc5c756f3aefc5368 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -89,17 +89,21 @@ for f in ${prog_opt_files}
 do
     f=`echo $f | sed -e 's/-opts.def//'`
     l=
+    lh=
     for i in `ls -1 $f*`
     do
        case "$i" in
-        *.c|*.h|*.1|*.html|*.texi|*.menu)
+        *.c|*.h|*.1|*.texi|*.menu)
            l="$l $i"
            ;;
+        *.html)
+           lh="$lh $i"
+           ;;
        esac
     done
-    case "$l" in
-     '') ;;
-     *) touch $l
+    case "$l:$lh" in
+     ':') ;;
+     *) touch $l $lh
        ;;
     esac
 done