On Sun, 24 Aug 2008, Tobias Nipkow wrote: > I don't have a lib subdirectory and cvs does not know about one.
The NEWS are always in terms of a proper distributions, for users out
there. The CVS layout is a bit mangled, and lib is in Distribution/lib.
Makarius
