On Tue, May 13, 2003 at 07:39:02PM +0200, Dominique Devriese wrote: > The only Debian kdelibs patch, > kdelibs/debian/patches/kdelibs.dirs.diff changes KGlobals to only look > for html resources that are named "$prefix/share/doc/kde/HTML" ( and > changes some cgi-bin search path too.. ). And fair enough, too; looking in /usr/share/doc/HTML could pick up any random documentation. > This patch breaks the documentation of all third party KDE > applications, since these packages ( at least those that use the > standard KDE build system to install docs ), install their > documentation in "$prefix/share/doc/HTML", and this is never searched > by kio_help, even when KDEDIRS is set properly. You could say that installing to /usr breaks all third-party KDE apps; it's just a matter of how you install it. > So my question is: > Wtf is this patch intended to fix, and why does it not make sure that > people installing third party kde apps from source can still read the > documentation.. /usr/share/doc/HTML is documentation for the package called 'HTML'. If everyone put their documentation in there, it would be an utter mess. It's just another sad legacy of KDE assuming there will never be anything else in its prefix. :\ > Basically, I see three ways to fix this problem: > 1 remove the patch. This would probably also mean some > work to make the docs install in the proper place again.. > 2 fix the patch, to make sure it *also* searches in the old place > 3 keep the patch, and fix the kde build system to make sure that a > 3rd party source package properly detects where it should install > its documentation. I vote for 3 - just use the option to ./configure. -- Daniel Stone <daniel@raging.dropbear.id.au> <dstone@kde.org> KDE: Konquering a desktop near you - http://www.kde.org
Attachment:
pgpCBz21qTOqc.pgp
Description: PGP signature