From 1e5895830f6fa79454d96878e375a6503ff647f2 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Sun, 16 Apr 2006 22:46:28 +0000
Subject: [PATCH] revert r30322 for install.config

---
 Manual_tools/install.config | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Manual_tools/install.config b/Manual_tools/install.config
index 475d7cf996b..7ac3e1366a9 100644
--- a/Manual_tools/install.config
+++ b/Manual_tools/install.config
@@ -1,7 +1,7 @@
 # feel free to edit the paths as you like
 
-export LATEX_CONV_BIN=$HOME/bin/Linux
+export LATEX_CONV_BIN=$HOME/local/bin
 
-MANUAL_TOOLS_PREFIX=$HOME/bin/Linux/Manual_tools
+MANUAL_TOOLS_PREFIX=$HOME/local/Manual_tools
 export LATEX_CONV_CONFIG=$MANUAL_TOOLS_PREFIX/latex_conv_config
 export STYLE_FILES=$MANUAL_TOOLS_PREFIX/sty