diff options
Diffstat (limited to 'Documentation')
| -rwxr-xr-x | Documentation/install-webdoc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh index e5c1cbea0c..76d69a907b 100755 --- a/Documentation/install-webdoc.sh +++ b/Documentation/install-webdoc.sh @@ -30,7 +30,7 @@ for th in \ do h=`expr "$th" : "$strip_leading"'\(.*\)'` case "$h" in - index.html) continue ;; + RelNotes-*.txt | index.html) continue ;; esac test -f "$h" && continue echo >&2 "# rm -f $th" |