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@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
