index.texi and CVS updates
There is a change I just committed to CVS that will not quite work
with `cvs update'. The file index.texi used to be a generated
symlink, but now it's a regular file in CVS.
So do
rm man/*/index.texi
before
cvs update
(although things should work anyways if you omit this; however, CVS
will continue to issue scary messages until you remove the index.texi
files and re-run `cvs update'.
Martin