As a special exception, when this file is read by TeX when processing a
Texinfo source document, you may use the result without restriction. This
Exception is an additional permission under section 7 of the GNU General
Public License, version 3 ("GPLv3").


