equal
deleted
inserted
replaced
32 .PHONY: dist |
32 .PHONY: dist |
33 dist: $(DICTDZ_FILES) $(INDEX_FILES) |
33 dist: $(DICTDZ_FILES) $(INDEX_FILES) |
34 |
34 |
35 # --case-sensitive |
35 # --case-sensitive |
36 %.dict %.index: %.c5 |
36 %.dict %.index: %.c5 |
37 dictfmt -c5 \ |
37 sed '/^#/d' $< | dictfmt -c5 \ |
38 --headword-separator '; ' --break-headwords \ |
38 --headword-separator '; ' --break-headwords \ |
39 --utf8 --allchars \ |
39 --utf8 --allchars \ |
40 -u "`sed -n '\|http://[[:print:]]\+/|{s=^.*\(http://\)=\1=;p;q;}' $<`" \ |
40 -u "`sed -n '\|http://[[:print:]]\+/|{s=^.*\(http://\)=\1=;p;q;}' $<`" \ |
41 -s "`sed -n '/^ABOUT: /{s=ABOUT: ==;p;q;}' $<`" \ |
41 -s "`sed -n '/^ABOUT: /{s=ABOUT: ==;p;q;}' $<`" \ |
42 $* <$< |
42 $* |
43 |
43 |
44 %.dict.dz: %.dict |
44 %.dict.dz: %.dict |
45 dictzip -c $< >$@ |
45 dictzip -c $< >$@ |
46 |
46 |
47 .PHONY: install |
47 .PHONY: install |