Updated the shell script for finding duplicated titles in the LaTeX files of the manual.
Authored by: bugman 2015-10-15
Parent: [r28051]
Child: [r28053]
