Partial bug fix for bug #14464 (https://gna.org/bugs/?14464).
Fix for the PDF manual compilation - os.rename() is being used instead of shutil.move(). No idea why shutil.move() was no longer working?!?
Authored by: bugman 2009-10-07
Parent: [r9642]
Child: [r9644]
