Added a tiny program that adds stars (*) in the right column for all multiline Doxygen comments starting with /** or /*./configure The addition of these starts keeps inlining tools from re-indenting our carefully crafted documentation. It would be as easy to remove the stars after the indentation process. Or even better, carefully reformat the Doxygen comments after they have benn indented.