gtk-doc installation broken

[Tim Janik <timj imendio com>]

Hi Stefan.

gtk-doc continues to produce problems when compiling the gtk.modules module
from jhbuild, this time it's during installaiton:

*** Installing gtk-doc *** [5/14]
make   install
Making install in help
make[1]: Entering directory `/usr/src/gtk+head/gtk-doc/help'
Making install in manual
make[2]: Entering directory `/usr/src/gtk+head/gtk-doc/help/manual'
make[3]: Entering directory `/usr/src/gtk+head/gtk-doc/help/manual'
make[3]: Nothing to be done for `install-exec-am'.
/bin/bash /usr/src/gtk+head/gtk-doc/install-sh -d /usr/src/gtk+head/installation/share/gnome/help/gtk-doc-manual/C
/localhome/tjlocal/bin/install-check -m 644 C/fdl-appendix.xml /usr/src/gtk+head/installation/share/gnome/help/gtk-doc-manual/C/fdl-appendix.xml
/localhome/tjlocal/bin/install-check -m 644 C/gtk-doc-manual.xml /usr/src/gtk+head/installation/share/gnome/help/gtk-doc-manual/C/gtk-doc-manual.xml
/bin/bash /usr/src/gtk+head/gtk-doc/install-sh -d /usr/src/gtk+head/installation/share/omf/gtk-doc-manual
/localhome/tjlocal/bin/install-check -m 644 gtk-doc-manual-C.omf /usr/src/gtk+head/installation/share/omf/gtk-doc-manual/gtk-doc-manual-C.omf
scrollkeeper-update -p /var/lib/scrollkeeper -o /usr/src/gtk+head/installation/share/omf/gtk-doc-manual
/var/lib/scrollkeeper/scrollkeeper_docs: Permission denied
make[3]: *** [install-doc-omf] Error 1
make[3]: Leaving directory `/usr/src/gtk+head/gtk-doc/help/manual'
make[2]: *** [install-am] Error 2
make[2]: Leaving directory `/usr/src/gtk+head/gtk-doc/help/manual'
make[1]: *** [install-recursive] Error 1
make[1]: Leaving directory `/usr/src/gtk+head/gtk-doc/help'
make: *** [install-recursive] Error 1
*** error during stage install of gtk-doc: ########## Error running make   install *** [5/14]


The jhbuild runs as user tjlocal on this system and installs into
a user writable prefix. /var/lib/scrollkeeper/scrollkeeper_docs couldn't
possibly be user-writable in that setup.

---
ciaoTJ