Package: gnat-gps-doc Version: 5.3-1 Severity: minor When upgrading gnat-gps-doc:
[...] Unpacking gnat-gps-doc (5.3-1) over (5.0-16) ... Processing triggers for mime-support (3.56) ... Processing triggers for desktop-file-utils (0.22-1) ... Processing triggers for gnome-menus (3.8.0-2) ... Processing triggers for menu (2.1.47) ... Processing triggers for man-db (2.6.7.1-1) ... Processing triggers for doc-base (0.10.5) ... Processing 3 changed doc-base files... Error in `/usr/share/doc-base/using-gnat-programming-studio', line 17: all `Format' sections are invalid. Error in `/usr/share/doc-base/gps-programmer-guide', line 16: all `Format' sections are invalid. Error in `/usr/share/doc-base/gnat-programming-studio-tutorial', line 17: all `Format' sections are invalid. Note: `install-docs --verbose --check file_name' may give more details about the above errors. Registering documents with scrollkeeper... Processing triggers for install-info (5.2.0.dfsg.1-4) ... [...] -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.11-2-amd64 (SMP w/2 CPU cores) Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash gnat-gps-doc depends on no packages. Versions of packages gnat-gps-doc recommends: ii ada-reference-manual-2005 1:2012.2-3 ii gprbuild-doc 2013-1 gnat-gps-doc suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org