[development] Refresh Drupaldocs.org?

[Vince Do]

Hello,

That's my first message here, so I seize the opportunity to congratulate all
of you on the great work with Drupal. The more I use it, the more I like
it!!

I'm currently developing against the HEAD version and I've noticed the
documentation at http://drupaldocs.org/api/head is not in sync with the
files from CVS.

Would that be complicated to re-generate it (once in a while)?

I know you're all very busy, I'm only asking because I believe this
documentation is generated automatically. So maybe it's just a matter of
pressing a button somewhere?

That'd be very helpful for newbie Drupal developers (like me) who otherwise
get confused by believing the pages are current and end up asking stupid
questions (like me) in the forums. At the end of day, I'm sure you'd have
less of these questions and therefore more time! :-)

Thank you,

Vincent