On Mon, 14 Jun 2010, Gerald Pfeifer wrote: >>> Thanks, see /home/gccadmin/scripts/update_web_docs_libstdcxx_svn > The script places up-to-date .html.gz files in the web infrastructure, > alas we do have older .html there -- and our web server is happy to > serve those over the compressed ones. > > In any case, we surely do not want to have _inconsistent_ versions of > the same contents there.
Any objection to me running the following find . -name '*.html' | while read f; do g="$f.gz" if [ -e "$g" ] && [ "$f" -ot "$g" ]; then echo "$f is older than $g and should be removed." fi done where the echo is replaced by an "rm $f"? Currently that has 348 hits in /www/gcc/htdocs/onlinedocs/libstdc++. Gerald