diff --git a/Makefile.in b/Makefile.in index ee373324d..adea719c5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -453,8 +453,9 @@ lexicon_filter: lexicon.txt lexicon_filter.in | show-SED WORDBL='[[:<:]]'; WORDBR='[[:>:]]'; \ else \ WORDBL='\\<'; WORDBR='\\>'; \ - fi; $(SED) >$@.tmp -n -e "s|^\([a-z][a-z][a-z][a-z]\) \([a-z_-]*\)$$|s,$$WORDBL\2$$WORDBR,@\1{\2},g|p" -e '$$G;s/.*\n/b tidy/p'; - mv $@.tmp $@; test -x $@ || chmod a+x $@; + fi + $v $(SED) >$@.tmp -n -e "s|^\([a-z][a-z][a-z][a-z]\) \([a-z_-]*\)$$|s,$$WORDBL\2$$WORDBR,@\1{\2},g|p" -e '$$G;s/.*\n/b tidy/p' + $v mv $@.tmp $@; test -x $@ || chmod a+x $@; #