On 11.05.2011 11:37, Frederic Peters wrote: > 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. > thanks for the quick fix. I just pushed the patch - still some time before next release.
commit 0e91e9874859a4c5e92f9442e069dd9bdd9dbc3f Author: Stefan Kost <[email protected]> Date: Wed May 11 11:13:09 2011 +0300 devhelp: remove generation of old devhelp files We're supporting devhelp2 files since 2005. Those are supported since devhelp-0.11 (18.Dec.2005). Dropping them speeds up the builds a bit and saves some bytes peoples hard-drives. _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
