Bug 98763

Summary: add localprefix= to KDevelopTOC
Product: [Applications] kdevelop Reporter: Nick Shaforostoff <shafff>
Component: generalAssignee: kdevelop-bugs-null
Status: RESOLVED DUPLICATE    
Severity: wishlist    
Priority: NOR    
Version: unspecified   
Target Milestone: ---   
Platform: Debian testing   
OS: Linux   
Latest Commit: Version Fixed In:

Description Nick Shaforostoff 2005-02-07 13:02:06 UTC
Version:            (using KDE KDE 3.3.2)
Installed from:    Debian testing/unstable Packages

KDevelopTOC files should have two prefixes: local and remote (use if no docs at localprefix found)

for example, i can install phpdoc package so if localprefix=/usr/share/doc/phpdoc, it should use local copy of docs
but if i remove it (or wont install at all) the remote prefix should be used.

localprefix value depends on distro so packages must modify it if it is different on their distro

this simplifies life of kdevelop user as he/she dont have to change preferences manually
(plus he/she may not know about docs in /usr/share/doc and use online ones)

i believe this little improvement can be added in kdevelop 3.2
Comment 1 Andreas Pakulat 2008-06-29 22:27:40 UTC

*** This bug has been marked as a duplicate of 60970 ***