Re: bug report

[Shaun McCance <shaunm wolfram com>]

On Wed, 2003-08-27 at 08:20, Jeremy DAWSON wrote:
> (1) I tried to use the bug reporting tool bug-buddy, but it
> insisted on getting a verions number for the product - how do I find that out?

>From inside of Yelp (the help browser), select About in the Help menu.

> (2) The bug in question is:
> 
> Using RedHat 9, when logged in as user1,
> when I click on the main menu and select help, it produces a
> screen containing the following:
> 
> Help Contents
> GNOME - Desktop
> Additional documents
> Manual Pages
> Info Pages
> 
> Yet when logged in as user2, doing the same thing 
> produces a screen containing the following
> 
> Help Contents
> GNOME - Desktop
> Desktop
> Applets
> Applications
> Utilities
> Development
> Games
> Multimedia
> Additional documents
> System
> Manual Pages
> Info Pages
> 
> I can't imagine why this should be.

I believe this is a known ScrollKeeper bug.  ScrollKeeper is the system
that keeps track of all the installed documentation.  I can't seem to
access the ScrollKeeper site just now to find the bug.

> Incidentally, the feedback pages refer to a GNOME User Guide - how do 
> I find this?

Unfortunately, the GNOME User Guide is registered with ScrollKeeper by
chapters, rather than as a whole, due to slow transformations.  Most of
the entries you see under the "Desktop" category are from the GNOME User
Guide.

--
Shaun