> > Strange: Today in the morging I ran `svn update' on the whole TeXLive
> > repository, and those files weren't added. Now I did it explicitly in
> > this very directory, and the new files appeared.
>
> Strange indeed. You could be missing quite a lot more!
This is correct -- svn ran about 30 minutes :-) I think I'm now up to
date.
Werner