From kdevelop-bugs  Thu Apr 28 13:47:16 2005
From: kdevelop-bugs-admin () barney ! cs ! uni-potsdam ! de
Date: Thu, 28 Apr 2005 13:47:16 +0000
To: kdevelop-bugs
Subject: [Bug 104711] New: Kdevelop don't support .devhelp.gz
Message-Id: <20050428154714.104711.lidaobing () gmail ! com>
X-MARC-Message: https://marc.info/?l=kdevelop-bugs&m=118306936407026

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
         
http://bugs.kde.org/show_bug.cgi?id=104711         
           Summary: Kdevelop don't support .devhelp.gz
           Product: kdevelop
           Version: unspecified
          Platform: Debian testing
        OS/Version: Linux
            Status: UNCONFIRMED
          Severity: normal
          Priority: NOR
         Component: general
        AssignedTo: kdevelop-bugs kdevelop org
        ReportedBy: lidaobing gmail com


Version:           3.2.0 (using KDE KDE 3.3.2)
Installed from:    Debian testing/unstable Packages

in Debian, 

most of the .devhelp file is installed as .devhelp.gz, 
and 
  Kdevelop don't support .devhelp.gz,
and 
  in .devhelp file, the path is a relative path,
  so it's no use for normal user to gunzip the .devhelp.gz under his home directory
and
  if normal user copy the html files and .devhelp.gz to their home directory and gunzip the devhelp file,
  it will waste much disk space and can't update automaticly.
so 
  I wish KDevelop can support .devhelp.gz format and other compressed .devhelp file formats.

Thank you.