-\input texinfo @c -*-texinfo-*-
@setfilename copyright.info
except that the section entitled ``GNU General Public License,''
and this permission notice, may be included in translations approved by
the Free Software Foundation instead of in the original English.
-
-@bye