diff --git a/Manual_tools/install.config b/Manual_tools/install.config
index 3e97b997892..56e1dfe3020 100644
--- a/Manual_tools/install.config
+++ b/Manual_tools/install.config
@@ -1,5 +1,6 @@
 # feel free to edit the paths as you like
-export LATEX_CONV_BIN=$CGAL_MISC/manual/bin
-MANUAL_TOOLS_PREFIX=$CGAL_MISC/manual
+export LATEX_CONV_BIN=$HOME/local/bin
+
+MANUAL_TOOLS_PREFIX=$HOME/local/Manual_tools
 export LATEX_CONV_CONFIG=$MANUAL_TOOLS_PREFIX/latex_conv_config
 export STYLE_FILES=$MANUAL_TOOLS_PREFIX/sty