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

[Markus Steinborn]

積丹尼 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