X-Git-Url: http://git.indexdata.com/?p=idzebra-moved-to-github.git;a=blobdiff_plain;f=examples%2Fzthes%2FMakefile;fp=examples%2Fzthes%2FMakefile;h=0000000000000000000000000000000000000000;hp=b3e98db4b307b40735e7a944e6d14f19c600b80a;hb=f4bb896e485ca3ce8f3b14d5199f79ba90f6b2f0;hpb=00d69171180b9edc123986794b572be57caa5bb2 diff --git a/examples/zthes/Makefile b/examples/zthes/Makefile deleted file mode 100644 index b3e98db..0000000 --- a/examples/zthes/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -recdA-0.mf: records/dino.xml - zebraidx init - zebraidx update records - -records/dino.xml: tree2xml.pl dino.tree - ./tree2xml.pl dino.tree > records/dino.xml - -clean: - rm -f records/dino.xml *.mf *.LCK zebrasrv.pid -