6f7687c
- Drop non-user (gdbint) and obsolete (stabs) documentation. - Install also HTML files besides the INFO file. - Create new subpackage gdb-doc for both INFO and HTML files.