Re: Gtk-Doc Manual in DevHelp

[Lanoxx <lanoxx gmx net>]

Hi All,

It would be nice if I could get some response about my question from the 
community. I spend several days of work on this and I would like to know 
if there is a change that my patch gets merged into Gtk-Doc. I am 
restating my question in case it was not clear from my original mail 
what I was asking:

Does anybody have objections on merging my patch which installs the 
GTK-Doc Manual as HTML so it can be read via DevHelp?

If the patch needs more work I would like to know it soon so I can stop 
thinking about it and focus on other things. I have two weeks holidays 
now and could spend some more time on this in the next days.

If the patch is rejected I would like to know why.

Thank in advance
Sebastian

On 09/08/18 08:01, Sebastian Geiger wrote:
> Hi Bastien,
>
> In this case gitlab is misleading. Stefan accidentally merged my whole branch and later reverted this 
> specific commit. So my question still stands.
>
> Cheers
> Sebastian
>
> > On 8. Aug 2018, at 16:17, Bastien Nocera <hadess hadess net> wrote:
> >
> > > On Fri, 2018-08-03 at 09:03 +0200, Sebastian Geiger (Lanoxx) wrote:
> > > Hi all,
> > <snip>
> > > I have tested my patch and I can view the GTK-Doc Manual in DevHelp.
> > > I
> > > would be very happy if this change could be merged into Gtk-Doc.
> >
> > Sorry, but I don't quite understand what you're asking of the wider
> > community. The patch was merged in this MR:
> > https://gitlab.gnome.org/GNOME/gtk-doc/merge_requests/3
> >
> > Was there anything else that needed happen?
> >
> > > [1]: https://developer.gnome.org/gtk-doc-manual/
> > >
> > > [2]: https://gitlab.gnome.org/GNOME/gtk-doc/commit/ffd5f97ed73a670f1b
> > > 7687d9a39e80f5f7941332
> > >
> > > _______________________________________________
> > > desktop-devel-list mailing list
> > > desktop-devel-list gnome org
> > > https://mail.gnome.org/mailman/listinfo/desktop-devel-list
>
> _______________________________________________
> desktop-devel-list mailing list
> desktop-devel-list gnome org
> https://mail.gnome.org/mailman/listinfo/desktop-devel-list