Bug#1028101: RFS: texinfo/7.0.1-3 -- Documentation system for on-line information and printed output

[Bastian Germann]

License: GFDL-NIV-1.3+
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.3 or
 any later version published by the Free Software Foundation; with no
 Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
 Texts.  A copy of the license is included in the section entitled
 ``GNU Free Documentation License''.
Comment:
 On Debian systems, the full text of the GNU Free Documentation
 License version 1.3 can be found in the file
 `/usr/share/common-licenses/GFDL-1.3'.