fix installation of ltl3hoa 1.0.1

b8b5f2db · Alexandre Duret-Lutz · 5543d0d7 · b8b5f2db
Commit b8b5f2db authored Oct 18, 2017 by Alexandre Duret-Lutz
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

install.sh install.sh +1 -1

No files found.
--- a/install.sh
+++ b/install.sh
@@ -49,7 +49,7 @@ rm -rf ltl3dra-$V ltl3dra-$V.tar.gz
 V=1.0.1
 wget https://github.com/jurajmajor/ltl3hoa/archive/v$V.tar.gz
 tar xvf v$V.tar.gz
-cd ltl3hoa-$V
+cd ltl3tela-$V # For some reason...
 make -j4
 mv ltl3hoa /usr/local/bin
 mkdir -p /usr/local/share/doc/ltl3hoa