doc: Keep copyright and license comments from showing up in TeX output.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 17 Jul 2017 04:07:33 +0000 (21:07 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 17 Jul 2017 04:09:05 +0000 (21:09 -0700)
The "\input texinfo" line is what changes the comment syntax from TeX
syntax to Texinfo syntax, so it has to go before the @c comments or else
those comments show up in output produced by TeX.


No differences found