I can confirm this regarding gnat-gps-doc package. Error as specified in the above post. Attached is output of 'head -n 16 /usr/share/info/tutorial'
As an aside, that seems a lousy name for the file. Every package in creation could put a 'tutorial' there, then what would we have? The file should be named 'gnat-gps-tutorial'. I see the fix is in upstream (Debian). I worked around it by providing complete information on the install-info command line. ** Attachment added: "First 16 lines of 'tutorial.info'" http://librarian.launchpad.net/6494247/gnat-gps-doc_tutorial.head16 -- Two failing postinsts + a "lost sync" problem during the upgrade https://launchpad.net/bugs/69019 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs