Re: devhelp1 & devhelp2

[Stefan Kost <ensonic hora-obscura de>]

Hi Geert,

Geert Stappers wrote:
> On Mon, Dec 05, 2005 at 10:49:10AM +0100, Stefan Kost wrote:
>
> > I plan to have a gtk-doc day this week. It seems we need to split the 
> > devhelp files:
> > http://bugzilla.gnome.org/show_bug.cgi?id=318129
> >
> > So I am going to change it so that it writes devhelp2 files as well :(
> > Maybe we can come up with some intelligence to avoid writing devhelp 
> > (devhelp-1) files if a recent enough devhelp is available.
>
>
> You can only detect the devhelp version on the build system.
good point!

> As packager of a gnome application, I want to have both been build.
> And decide at install time which devhelp files to install.
How would you want it to be handled? Should the gtk-doc.mak check devhelp 
versions when doing 'make install'?

I have changed gtk-doc localy to build separate files. I works so far, only can 
cause problems for people not using the included gtk-doc.mak.
(e.g. gstreamer has an own gtk-doc.mak which explicitly copies the devhelp file 
and thus misses the devhelp2 file :( )

Stefan