| @node GNU General Public License |
| @section GNU General Public License |
| @cindex GNU General Public License |
| @include Licenses/GPL.texi |
| |
| @node GNU Free Documentation License |
| @section GNU Free Documentation License |
| @cindex GNU Free Documentation License |
| @include Licenses/GFDL.texi |