Makefile
changeset 592 f45410f1f80e
parent 589 dc1684bc674d
child 593 32de94c1b039
--- a/Makefile	Thu Oct 06 20:13:08 2016 +0300
+++ b/Makefile	Fri Oct 07 00:30:52 2016 +0300
@@ -369,9 +369,12 @@
 dictd c5: dict
 dict: $(DICTDZ_FILES) $(INDEX_FILES)
 
+DICTFMT := dictfmt
 #  --case-sensitive
+DICTFMT_OPT := --headword-separator '; ' --break-headwords --without-headword --utf8 --allchars
+
 dist/dictd/%.dict dist/dictd/%.index: dist/dictd/%.c5 dist/dictd/%.c5.name dist/dictd/%.c5.url $(MAKEFILE_LIST)
-	(cd dist/dictd; dictfmt  -c5 --headword-separator '; ' --break-headwords --without-headword --utf8 --allchars -s "`cat $*.c5.name`" -u "`cat $*.c5.url`"  $*)  < $<
+	(cd dist/dictd; $(DICTFMT) $(DICTFMT_OPT)  -c5  -s "`cat $*.c5.name`" -u "`cat $*.c5.url`"  $*)  < $<
 
 dist/dictd/%.dict.dz: dist/dictd/%.dict
 	dictzip -c $< >$@