I have reported this upstream with a patch at: https://bugzilla.gnome.org/show_bug.cgi?id=664167
As a workaround, you can rename vala.devhelp2 in /usr/share/devhelp/books/vala-0.14 to vala-0.14.devhelp2
I have reported this upstream with a patch at: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 664167
As a workaround, you can rename vala.devhelp2 in /usr/share/ devhelp/ books/vala- 0.14 to vala-0.14.devhelp2