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

Reply via email to