1 EXTRA_DIST = zebra.cfg Zthes.abs zthes.att tree2xml.pl dino.tree
3 # optional: tagsetg-zthes.tag tagsetm-zthes.tag zthes.tag
6 reci-0.mf: records/dino.xml
7 ../../index/zebraidx init
8 ../../index/zebraidx update records
10 records/dino.xml: tree2xml.pl dino.tree
11 ./tree2xml.pl dino.tree > records/dino.xml
14 rm -f records/dino.xml *.mf *.LCK zebrasrv.pid
17 -mkdir $(distdir)/records