|
From: | Markus Steinborn |
Subject: | Re: [bug-gv] "Anhang A GNU General Public License" |
Date: | Sat, 02 Jan 2016 21:08:51 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:28.0) Gecko/20100101 Firefox/28.0 SeaMonkey/2.25 |
積丹尼 Dan Jacobson wrote:
It's a bug. It should be "Appendix" (Anhang is the german word for Appendix).(info "(gv) GNU General Public License") says Anhang A GNU General Public License *********************************** What does Anhang mean?
I still have to find out where this word came from - it is not in the git repository and gets there while doing the initial "make dist"for generating the distribution tar file.
Record: The info file is generated by makeinfo -I .-o gv.info gv.texiwhich adds the word "Anhang" to it's output - which is a bad thing, given that the language of the processed document may or may not equal the current locale.
You can force recreation of gv.info by deleting it in the doc directory of the source distribution. It will be recreated with your locale settings.
Greetings from Germany Markus Steinborn GNU gv maintainer
[Prev in Thread] | Current Thread | [Next in Thread] |