diff options
Diffstat (limited to 'texinfo/license.texi')
-rw-r--r-- | texinfo/license.texi | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/texinfo/license.texi b/texinfo/license.texi new file mode 100644 index 00000000000..c23a4dc8095 --- /dev/null +++ b/texinfo/license.texi @@ -0,0 +1,24 @@ +\input texinfo +@setfilename license.info + +@ifinfo +@format +START-INFO-DIR-ENTRY +* COPYING: (license). The GNU General Public License +END-INFO-DIR-ENTRY +@end format +@end ifinfo + +@settitle GPL +@iftex +@headings doubleafter +@setchapternewpage off +@end iftex +@finalout + +@node Top, , (dir), (dir) +@unnumbered GNU GENERAL PUBLIC LICENSE + +@include gpl.texinfo + +@bye |