Hmm... I wonder if there's a simple command line PDF generator that we can script to grab a page and generate user documentation periodically... that would be sweet. 
There's a module for (almost) that 
http://drupal.org/project/print
We're using this for the new site, where there's an unlinked view that displays the entire documentation section, basically just for the purposes of being able to link to it as a generated PDF.