Hey, in order to sort out the problems with gtk-doc and devhelp, I think it would be good to have new releases of both gtk-doc and devhelp soon. Might be worthwhile to point out the .devhelp format change in the release announcement for gtk-doc... Matthias