kdelibs4 docs move

[Jonathan Riddell]

kdelibs4 docs were in /usr/share/doc/kde/HTML/

but frameworks uses /usr/share/doc/HTML/

so we need to change kde4libs to set the docs path to /usr/share/doc/HTML/

I've uploaded kde4libs with this change.  Where is kde4libs kept in
revision control these days?  I can't find an up to date repository
and debian/control doesn't tell me

This then needs a bulk upload of all 372 source packages that have
kdelibs4 docs along with changes to the .install files to them, fairly
easy to script but making sure all the VCS repos are updated may be
hassle

This makes us incompatible with Debian syncs too which I guess will be
a hassle on occasion in the next cycle.

Jonathan