Please give back gnome-user-docs. There was an itstool update that appears to have fixed the build problem. gb gnome-user-docs_3.30.1-1 . all Thanks, Jeremy Bicha