Doxygen for abbrev-mode