Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 145 - Error in gnome-extra/users-guide
Summary: Error in gnome-extra/users-guide
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] GNOME (show other bugs)
Hardware: All Linux
: High major (vote)
Assignee: Mikael Hallendal (hallski) (RETIRED)
URL: http://www.jeah.net/~karl/users-guide...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2002-01-13 10:30 UTC by Karl Haines
Modified: 2021-07-22 09:22 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Karl Haines 2002-01-13 10:30:54 UTC
For some reason, users-guide-1.2 installs the users guide to
/usr/share/gnome/help/users-guide, when gnome-help-browser looks for the users
guide in /usr/share/gnome/help/gnome-users-guide. This ebuild runs a sed command
to fix the Makefile.am and Makefile.in.

Karl <fmaggot>
karl@jeah.net
Comment 1 Karl Haines 2002-01-13 10:34:13 UTC
BTW, the path to the ebuild is in "URL" at the top!
Comment 2 Mikael Hallendal (hallski) (RETIRED) gentoo-dev 2002-01-16 14:58:42 UTC
added to CVS, thanks
Comment 3 LilyCarton 2021-07-22 09:22:31 UTC
You have done a great job. I will definitely dig it and personally recommend to my friends. I am confident they will be benefited from this site https://bit.ly/36OMtnU