Re: Update pygi docs

[Christoph Reiter <reiter christoph gmail com>]

On Sun, Mar 11, 2018 at 12:53 PM, Christoph Reiter
<reiter christoph gmail com> wrote:
> On Sun, Mar 11, 2018 at 12:50 PM, infirit <infirit gmail com> wrote:
> > Hi,
> >
> > git.gnome.org for Gtk forwards the request to gitlab automatically but
> > the line number is not working because it is handled differently. So
> > source links in the docs work but don't move to the correct line number.
> >
> > I saw pgi-docgen got updated already so it would be nice if the web and
> > devhelp repo can be updated?
>
> The web repo should be updated, but devhelp is still missing. If I
> missed anything in the web version please provide a link.

devhelp updated