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///' $f > $f.tmp + sed 's///' $f > $f.tmp rm $f mv $f.tmp $f done