[Bug 301781] [NEW] Invalid links in GNAT-GPS User's Guide

[vlc]

Public bug reported:

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.

** Affects: gnat-gps (Ubuntu)
     Importance: Undecided
         Status: New

-- 
Invalid links in GNAT-GPS User's Guide
https://bugs.launchpad.net/bugs/301781
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs