Ticket closed. Ubuntu 20.04 has no more package gnome-doc-utils in its repos!
Thanks, Maurizio ___________________________________________________________________________ darktable developer mailing list to unsubscribe send a mail to darktable-dev+unsubscr...@lists.darktable.org