Ubuntu
gnat-gps package

Invalid links in GNAT-GPS User's Guide

Bug #301781 reported by vlc
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
gnat-gps (Ubuntu)
New
Undecided
Unassigned

Bug Description

Binary package hint: gnat-gps-doc

This bug is reproducible on Ubuntu 8.04.1 with GPS 4.0.1-3. No other releases were tried.

When opening the User's Guide of GNAT-GPS, e.g. from GNAT-GPS, the file /usr/share/doc/gnat-gps-doc/gps.html is opened in the web browser, but the files referred to in this file (/usr/share/doc/gnat-gps-doc/index.html, /usr/share/doc/gnat-gps-doc/Introduction.html) are not installed.

The packages gnat-4.1-doc, gnat-4.2-doc, gnat-doc and gnat-gps-doc are installed.

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.