onlinedocs/libstdc++ apperas stale (was: [doc,patch] Move from GFDL 1.2 to GFDL 1.3)

[Gerald Pfeifer]

On Mon, 14 Jun 2010, Gerald Pfeifer wrote:
>> Thanks, see /home/gccadmin/scripts/update_web_docs_libstdcxx_svn
> I ran this script, and verified that it runs daily, 55 minutes after
> midnight UTC.  Alas, it seems the script does not lead to the desired
> result -- the libstdc++ onlinedocs/ pages appear stale.

Got it!

  % ll /www/gcc/htdocs/onlinedocs/libstdc++
  -rw-r--r--   1 gccadmin gcc   4434 Jun 12 00:55 api.html
  -rw-r--r--   1 gccadmin gcc   1539 Jun 13 22:07 api.html.gz
  -rw-r--r--   1 gccadmin gcc   1786 Apr 22 00:55 bk02.html
  -rw-r--r--   1 gccadmin gcc    698 Jun 13 22:07 bk02.html.gz
  -rw-r--r--   1 gccadmin gcc   1762 Apr 22 00:55 bk03.html
  -rw-r--r--   1 gccadmin gcc    692 Jun 13 22:07 bk03.html.gz
  drwxr-sr-x  16 bkoz     gcc   4096 Apr 12  2008 dated
  drwxrwsr-x   3 pme      gcc   4096 Jun 13 22:07 ext
  -rw-r--r--   1 gccadmin gcc  66038 Jun 12 00:55 faq.html
  -rw-r--r--   1 gccadmin gcc  17129 Jun 13 22:07 faq.html.gz
  -rw-r--r--   1 bkoz     gcc    994 Oct  5  2009 index.html
  -rw-r--r--   1 gccadmin gcc    511 Jun 13 22:07 index.html.gz

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.

I guess what we should rather do is copying over the .html files from
the temporary directory into the web tree and then do the compressing
in the web tree.  But I assume you guys on the libstdc++ side are a lot
more familiar with this, so it's your call.

There may be other ideas, just what we currently have doesn't seem to 
work.

Gerald