[plt-scheme] 399: how to get the internal helpdesk browser?
On May 8, Martin DeMello wrote:
> I just installed 399 from source. I downloaded the
> plt-3.99.0.24-src-unix.tgz, ran configure --prefix=/opt/plt and make
> (no problems), then make install, which died because there was no
> doc directory.
(This sounds like either a distribution bug, or a build bug.)
> So I downloaded the PLT Scheme Full Unix Sources
> (plt-clean-tree.tgz), copied the doc and man directories from there
> to the plt-399 directory, and make install worked fine. The problem
> now is, both the "help desk" link from PLT and plt-help from the
> command line simply open up the webpage in gvim,
Did you set gvim as the default Gnome browser somehow? The first
default that it would try is "gnome-open" -- what happens when you run
it (gnome-open) with a URL?
> and I can see no option to invoke the internal browser. The best I
> can find in the preferences is to make it open in a browser
> instead. How do I get the internal help browser back?
The internal browser (Help Desk) is no longer used.
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://www.barzilay.org/ Maze is Life!