Fixed the batch to correctly get the documentation files.
Authored by: ltribble 2007-10-05
Parent: [r627]
Child: [r629]