Bug 98763 - add localprefix= to KDevelopTOC
Summary: add localprefix= to KDevelopTOC
Status: RESOLVED DUPLICATE of bug 60970
Alias: None
Product: kdevelop
Classification: Applications
Component: general (show other bugs)
Version: unspecified
Platform: Debian testing Linux
: NOR wishlist
Target Milestone: ---
Assignee: kdevelop-bugs-null
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-02-07 13:02 UTC by Nick Shaforostoff
Modified: 2008-06-29 22:27 UTC (History)
0 users

See Also:
Latest Commit:
Version Fixed In:

Attachments
Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
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 ***