EXTRA_DIST = zebra.cfg Zthes.abs zthes.att tree2xml.pl dino.tree

# optional: tagsetg-zthes.tag tagsetm-zthes.tag zthes.tag 
dino: reci-0.mf

reci-0.mf: records/dino.xml
	../../index/zebraidx init
	../../index/zebraidx update records

$(srcdir)/records/dino.xml: tree2xml.pl dino.tree
	./tree2xml.pl $(srcdir)/dino.tree > $(srcdir)/records/dino.xml

clean:
	rm -f records/dino.xml *.mf *.LCK zebrasrv.pid

dist-hook: records/dino.xml
	-mkdir $(distdir)/records
	cp $(srcdir)/records/dino.xml $(distdir)/records