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 $(srcdir)/records/dino.xml: tree2xml.pl dino.tree
11 ./tree2xml.pl $(srcdir)/dino.tree > $(srcdir)/records/dino.xml
14 rm -f records/dino.xml *.mf *.LCK zebrasrv.pid
16 dist-hook: records/dino.xml
17 -mkdir $(distdir)/records
18 cp $(srcdir)/records/dino.xml $(distdir)/records