|
From: | William Bader |
Subject: | Re: [bug-gv] "Anhang A GNU General Public License"? |
Date: | Sat, 22 Jul 2017 03:52:39 +0000 |
I think that gv.info was created from gv.texi, so the solution might be rebuilding gv.info with LANG set to an English locale. The first line of gv.info is "Dies ist gv.info, hergestellt von Makeinfo Version 4.8 aus gv.texi." (This is gv.info, made by makeinfo version 4.8 from gv.texi.) The "@include gpl.texi" line near the end of gv.texi creates the word "Anhang" followed by the text of the GPL. The gv source includes gv.info so you do not need 'makeinfo' to build gv. Probably one of the German gv authors packaged the source distribution,
and makeinfo embedded German comments when it generated gv.info. William From: 積丹尼 Dan Jacobson <address@hidden>
Sent: Friday, July 21, 2017 11:24 PM To: William Bader Cc: address@hidden Subject: Re: [bug-gv] "Anhang A GNU General Public License"? |
[Prev in Thread] | Current Thread | [Next in Thread] |