Bug#906519: libjavascriptcoregtk-4.0-dev: missing jsc/jsc.h

[Alberto Garcia]

Control: tags -1 pending

> Suggestions
> ------------------
> - debian/libjavascriptcoregtk-4.0-dev.install should install
> usr/include/webkitgtk-4.0/jsc/

Done

> - debian/libwebkit2gtk-4.0-doc.install should install both
> usr/share/gtk-doc/html/jsc-glib-4.0/
> usr/share/gtk-doc/html/webkitdomgtk-4.0/
> 
> I didn't submit a merge request for this because I'm not sure where
> exactly you want the docs installed.

That location looks good to me, those can be links to
/usr/share/doc/libwebkit2gtk-4.0-doc/{jsc-glib-4.0,webkitdomgtk-4.0}/html/
or something like that.

But I'm not sure how the doc-base files would go, I suppose we need
three doc-base files in total, or can you put several documents in the
same one?

> - add a debian/rules override to run dh_missing --fail-missing so we
> can detect this problem sooner next time.

Done

Berto