GPS 2.2.0w (20041207) hosted on i686-pc-linux-gnu

Mikhail Terekhov <[email protected]> Fri, 10 Dec 2004 15:51:56 -0500
Newsgroups gmane.comp.ide.gps.user
Organization EMC Corp
Message-ID <[email protected]>
Hi,

When I open Help->GPS->Welcome and then click on the links "GPS Tutorial" or 
"GPS User's Guide" I'm getting:

[2004-12-10 15:45:06] /usr/local/gps//doc/gps/html/gps-tutorial.html: File not found
[2004-12-10 15:45:37] /usr/local/gps//doc/gps/html/gps.html: File not found

(Note the double slash between gps and doc)

When I try to access the same documents through menu, ex. 
Help->GPS->"Using the GNAT Programming System", I'm getting:

[2004-12-10 15:50:26] Couldn't generate the HTML file through the shell command

What can I do to fix this?

Thanks,
Mikhail