Fix name of chemnitz dictionary.

diff --git a/data/downloadInputs.sh b/data/downloadInputs.sh
index 442920a38a76bf38400fe88b1b0adf6d5a6b1dc6..651b9e4e55da54a73787629c39621abf67bd487e 100755 (executable)
--- a/data/downloadInputs.sh
+++ b/data/downloadInputs.sh
@@ -17,7 +17,7 @@ echo "Downloading from: http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel
 CHEMNITZ=de-en.txt
 curl --remote-name http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/${CHEMNITZ}.gz
 gunzip ${CHEMNITZ}.gz
-mv ${CHEMNITZ} inputs/
+mv ${CHEMNITZ} inputs/de-en_chemnitz.txt
 
 L=fr
 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"