4b52f343c1
* Make setup-generated script names lower case * Change how the manual.pdf file is handled
* Make setup-generated script names lower case * Change how the manual.pdf file is handled