K 10
svn:author
V 3
knu
K 8
svn:date
V 27
2004-12-25T16:01:39.000000Z
K 7
svn:log
V 141
Update to 20041225.

- Fix the startup script. (s/echo //)

- When INDEX is not found, try "make fetchindex" first, then try
  "make index".

END