examples/zthes now part of distribution

[idzebra-moved-to-github.git] / examples / zthes / Makefile

diff --git a/examples/zthes/Makefile b/examples/zthes/Makefile
deleted file mode 100644 (file)
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
-