# Last edited on 2003-06-29 13:38:49 by stolfi

all: Best.html

Best.html: Best-skel.html make-best-index
	cat Best-skel.html \
          | make-best-index \
          > Best.html