diff options
| -rwxr-xr-x | documentation/strip_tags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/strip_tags b/documentation/strip_tags index 0f652fbb0..f03276f24 100755 --- a/documentation/strip_tags +++ b/documentation/strip_tags @@ -1,5 +1,5 @@ for f in html/*.html ; do - sed 's/<!-- ... ... .*:..:.. ....\. -->/<!-- date removed for reducing unnecessary svn web updates -->/' $f > $f.tmp + sed 's/<!-- ... ... .*:..:..\. -->/<!-- date removed for reducing unnecessary svn web updates -->/' $f > $f.tmp rm $f mv $f.tmp $f done |