From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 17 Jul 2017 04:07:33 +0000 (-0700)
Subject: doc: Keep copyright and license comments from showing up in TeX output.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53f132c7a4afb6bdf7335b5ce4df3c8b7aab8dbe;hp=53f132c7a4afb6bdf7335b5ce4df3c8b7aab8dbe;p=pspp

doc: Keep copyright and license comments from showing up in TeX output.

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.
---