what to do about de docs for 5.23 release



Hi everybody,

I wonder what we should do about the de documentation
in order to get to a 5.23 release.

I just updated from the 5.23 release branch and I find that
the de documentation still has at least one problem
(namely, ? radexpand shows stuff for a different topic).
I didn't look very hard; I suspect other, similar examples
could be found.

I can see a couple of alternatives. If these don't seem sensible
to you, feel free to suggest something else.

(1) package the de documentation as it stands

(2) cut info/de from the packaging

(3) fix bugs in info/de

At this point my preference is (2). I can't tell if we're making
progress towards resolving the documentation problems --
feel free to prove me wrong -- and I'd like to get something
out the door by the end of the month.

best

Robert Dodier