if [ $with_otf == 1 -a $with_otf_default == 1 ]; then # set the directory... should be decided by the user, we will see after how to do beautiful options :)
if [ $with_otf = 1 -a $with_otf_default = 1 ]; then # set the directory... should be decided by the user, we will see after how to do beautiful options :)
cat >> "$makefile" <<EOF
OTFLIB_DIR = ./src/general/otf
...
...
@@ -275,7 +275,7 @@ clean:
cleanall: clean
EOF
if [ $with_otf == 1 -a $with_otf_default == 1 ]; then
if [ $with_otf = 1 -a $with_otf_default = 1 ]; then
cat >>"$makefile" <<EOF
make -C \$(OTFLIB_DIR) clean
EOF
...
...
@@ -288,7 +288,7 @@ fi
distclean: cleanall
EOF
if [ $with_otf == 1 ]; then
if [ $with_otf = 1 ]; then
cat >>"$makefile" <<EOF
make -C \$(OTFLIB_DIR) distclean
EOF
...
...
@@ -300,7 +300,7 @@ fi
EOF
if [ $with_otf == 1 -a $with_otf_default == 1 ]; then
if [ $with_otf = 1 -a $with_otf_default = 1 ]; then