Re: dropping generation of old devhelp format in gtk-doc

[Frederic Peters <fpeters gnome org>]

Stefan Kost wrote:

> In 2005 we created a new format for devhelp index files that contains more
> details. It is supported since devhelp-0.11 (18.Dec.2005). The next release of
> gtk-doc will not generate the old devhelp files anymore. This speeds up the
> builds a bit and saves some bytes on your hard-dives :)
> 
> If I am overlooking something here, please let me know.

library-web (used to generate developer.gnome.org) was still parsing
.devhelp files in some places, I just pushed a fix.



        Frederic