Thanks for your bugreport.
This looks like it is triggered by a bug in gtk-doc-tools. Please attach file in /var/log/dist-upgrade/*
Thanks for your bugreport.
This looks like it is triggered by a bug in gtk-doc-tools. Please attach file in /var/log/ dist-upgrade/ *