From Bugzilla Helper:
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20030225
Description of problem:
Saving a bookmark in mozilla of rhl-cg-en-9-2 only gives a bookmark with title
"Red Hat Linux 9", and since i usually want to keep a list of all docs at hand I
have to edit every bookmark to give it a unique name.
Version-Release number of selected component (if applicable):
Steps to Reproduce:
1. Open /usr/share/doc/rhl-cg-en-9-2/index.html
2. Bookmark this page
3. Look at the bookmark
Expected Results: The bookmark should perhaps be named "Red Hat Linux 9
This is because DocBook makes the title of the book the title of the HTML page.
Since all of the titles start with Red Hat Linux 9, this happens. I'll try to
figure out a way to change this behavior.
Changing owner to new owner
Our current HTML publishing tools only display the product in the <title>
element of the title HTML page. Subsequent pages use the title of its associated
chapter as the <title> of the HTML document, and are more convenient to bookmark.
In the meantime, the bookmark management tools in most web browsers do support
renaming of bookmark names for easy recall.
New toolchain currently in testing for subsequent releases of Red Hat Enterprise
Linux documentation may provide some improvements to HTML transformations,
including better titlepage <title> naming conventions.
Thanks again for your report.