all:
	ejweb index_t.html oldtopics_t.html
index: permutedindex
	cd IR; make
permutedindex:
	ruby makeindex
clean:
	/bin/rm \#* *~