diff --git a/Manual_tools/install.sh b/Manual_tools/install.sh
index d873b987eab..9fd351fc084 100755
--- a/Manual_tools/install.sh
+++ b/Manual_tools/install.sh
@@ -21,7 +21,7 @@ echo "Manual_tools successfully installed. Do not forget to update \$TEXINPUTS:"
 echo "export TEXINPUTS=\".:$STYLE_FILES:\$TEXINPUTS\""
 echo "================================================"
 echo "see also src/INSTALLATION for further necessary environment variables, e.g.: "
-echo "export LATEX_CONV_CONFIG=\".:$LATEX_CONV_CONFIG:\$LATEX_CONV_CONFIG\"" 
-echo "export LATEX_CONV_BIN=\".:$LATEX_CONV_BIN:\$LATEX_CONV_BIN\"" 
+echo "export LATEX_CONV_CONFIG=\"$LATEX_CONV_CONFIG\"" 
+echo "export LATEX_CONV_BIN=\"$LATEX_CONV_BIN\"" 
 echo "================================================"