what to do about de docs for 5.23 release



On 12/12/10, Dieter Kaiser <drdieterkaiser at web.de> wrote:

> Am Sonntag, den 12.12.2010, 14:59 -0700 schrieb Robert Dodier:

>> (1) package the de documentation as it stands
>>
>> (2) cut info/de from the packaging
>>
>> (3) fix bugs in info/de

> I prefer point (2).

OK. Can someone fix up the Makefile stuff so that the info/de is not referenced?

The changes for that should be committed only to the 5.23 release branch.\

best,

Robert Dodier