gtk-doc vs doxygen

[Matthias Clasen <maclas gmx de>]

glib now contains a subdirectory trio containing third-party source
which includes doxygen comments. Some of these trigger gtkdoc-mkdb 
warnings about missing symbol names. The offending comments look like
the following:

/** @...
*/ 

The current gtkdoc-mkdb code looks for \s*/\*\*\s as the beginning of a 
doc comment. Would it cause any trouble to change this to \s*/\*\*\s+$ 
in order to avoid the doxygen comments ? 

Matthias