diff options
Diffstat (limited to 'regenerate-makefiles.sh')
| -rwxr-xr-x | regenerate-makefiles.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/regenerate-makefiles.sh b/regenerate-makefiles.sh index 747dabf88..c4c2e8bee 100755 --- a/regenerate-makefiles.sh +++ b/regenerate-makefiles.sh @@ -54,7 +54,7 @@ $LIBTOOLIZE || die "libtoolize failed" echo echo "You should now be able to configure and build:" -echo " ./configure [--with-srilm=/path/to/srilm] [--with-irstlm=/path/to/irstlm] [--with-randlm=/path/to/randlm] [--without-kenlm] [--with-xmlrpc-c=/path/to/xmlrpc-c-config]" +echo " ./configure [--with-srilm=/path/to/srilm] [--with-irstlm=/path/to/irstlm] [--with-randlm=/path/to/randlm] [--without-kenlm] [--with-synlm=/path/to/modelblocks] [--with-xmlrpc-c=/path/to/xmlrpc-c-config]" echo " make -j 4" echo |