[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gv] "Anhang A GNU General Public License"

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:
(info "(gv) GNU General Public License") says
Anhang A GNU General Public License

What does Anhang mean?

It's a bug. It should be "Appendix" (Anhang is the german word for Appendix).

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.texi

which 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]