Install gtkhtml by running the following commands: ./configure --prefix=/opt/gnome --disable-gtk-doc && make && make install