@node Licenses
@appendix Licenses
@cindex Licenses
@include Licenses-menu.texinfo
@include Licenses-nodes.texinfo