In message <20021117181242.5d294af2.jmmv@menta.net> on Sun, 17 Nov 2002 18:12:42 +0100, Julio Merino <jmmv@menta.net> wrote: > > Do you recommend me to delete /usr/src and get the sources again? > > Sure. Or -C option for "cvs update" is your friend. % cvs -q update -d -P -C -- Takahiro Kambe <taca@back-street.net>