Fix for the API documentation for the rename of the 'scripts' to 'devel_scripts' directory at r17708.
Authored by: bugman 2012-10-16
Parent: [r17877]
Child: [r17879]
