dropping generation of old devhelp format in gtk-doc

2011-05-11 Thread Stefan Kost 
Hi,

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.

Thanks,
Stefan

___
desktop-devel-list mailing list
desktop-devel-list@gnome.org
http://mail.gnome.org/mailman/listinfo/desktop-devel-list

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

2011-05-11 Thread Frederic Peters 
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
___
desktop-devel-list mailing list
desktop-devel-list@gnome.org
http://mail.gnome.org/mailman/listinfo/desktop-devel-list

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

2011-05-11 Thread Stefan Kost 
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 enso...@users.sf.net
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
desktop-devel-list@gnome.org
http://mail.gnome.org/mailman/listinfo/desktop-devel-list