PDF is now building on OSs with case sensitive name files.
Merge pull request #3043 from jerrinot/docufixes

PDF is now building on OSs with case sensitive filenames.