Cherry pick ixe013's new doxygen search script
newline fix