code.gitea.io/gitea@v1.21.7/options/license/Texinfo-exception (about)

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