texinfo/license.texi

   1 \input texinfo
   2 @setfilename license.info
   3
   4 @ifinfo
   5 @format
   6 START-INFO-DIR-ENTRY
   7 * COPYING: (license).           The GNU General Public License
   8 END-INFO-DIR-ENTRY
   9 @end format
  10 @end ifinfo
  11
  12 @settitle GPL
  13 @iftex
  14 @headings doubleafter
  15 @setchapternewpage off
  16 @end iftex
  17 @finalout
  18
  19 @node Top, , (dir), (dir)
  20 @unnumbered GNU GENERAL PUBLIC LICENSE
  21
  22 @include gpl.texinfo
  23
  24 @bye