Package: gnat-gps-doc Version: 4.0.1-3 Severity: normal
To reproduce do: apt-get install gnat-gps gnat-gps-doc rm -r ~/.gps -- if gnat-gps was launched before gnat-gps (choose e.g. default project) click on link "User's Guide" on the welcome screen The default browser will report that file "/usr/share/doc/gnat-gps-doc/Introduction.html" is not found. Alternatively: Choose from the menu: Help/GPS/Using The Gnat Programming Studio. The browser started will report the same message. -- System Information: Debian Release: 4.0 APT prefers stable APT policy: (500, 'stable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.4.27-3-386 Locale: LANG=en_US.ISO-8859-15, LC_CTYPE=en_US.ISO-8859-15 (charmap=ISO-8859-15) -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
