There seemed to be a problem with devhelp on the gtk3 build only: ``` echo "#include "dh-marshal.h"" > dh-marshal.c && \ /usr/bin/glib-genmarshal ../../../devhelp/devhelp/dh-marshal.list --body --prefix=_dh_marshal dh-marshal.list >> dh-marshal.c (process:18603): GLib-Genmarshal-WARNING **: failed to open "dh-marshal.list": No such file or directory make[3]: *** [dh-marshal.c] Error 1 make[3]: *** Waiting for unfinished jobs.... make[3]: Leaving directory `/home/travis/build/geany/geany-plugins/_build/devhelp/devhelp' ``` I got the impression that this sometimes happens and sometimes not. But it's not related to the treebrowser changes.