projects / idzebra-moved-to-github.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b0c9a12)
tweak
authorMike Taylor <mike@indexdata.com>
Thu, 29 Aug 2002 14:19:38 +0000 (14:19 +0000)
committerMike Taylor <mike@indexdata.com>
Thu, 29 Aug 2002 14:19:38 +0000 (14:19 +0000)
examples/dinosauricon/Makefile patch | blob | history

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