projects / idzebra-moved-to-github.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
tweak
[idzebra-moved-to-github.git] / examples / dinosauricon / Makefile
diff --git a/examples/dinosauricon/Makefile b/examples/dinosauricon/Makefile
index 9c108f1..88b0b53 100644 (file)
--- a/examples/dinosauricon/Makefile
+++ b/examples/dinosauricon/Makefile
@@ -1,4 +1,4 @@
-DBFILES = *.mf *.LCK zebrasrv.pid
+DBFILES = *.mf *.LCK zebrasrv.pid zebraidx.time
 
 isamcA-0.mf: records/genera.xml
        zebraidx -t grs.sgml update records
Search Engine