Subject: Documentation index is broken after `cvs update`
From: Robert Dodier
Date: Sun, 7 Dec 2008 19:33:24 -0700
On 12/7/08, Alexey Beshenov <al at beshenov.ru> wrote:
> Just updated from CVS and found that documentation index is broken.
I'm not seeing a problem in my cvs sandbox. My guess is that the
maxima.info* files were rebuilt but not maxima-index.lisp.
Can you verify that the info files are newer than the index?
Does "make clean; make" generate a correct index?
best
Robert Dodier