# HG changeset patch
# User blanchet
# Date 1297352292 -3600
# Node ID f58d4d202924bf7f3c720c55a0ba62cca3dd2e32
# Parent  e590971528b2d354c94ee72129a338fc0ad5eaa1
fix path to etc/settings and etc/components in doc

diff -r e590971528b2 -r f58d4d202924 doc-src/Sledgehammer/sledgehammer.tex
--- a/doc-src/Sledgehammer/sledgehammer.tex	Thu Feb 10 16:15:43 2011 +0100
+++ b/doc-src/Sledgehammer/sledgehammer.tex	Thu Feb 10 16:38:12 2011 +0100
@@ -143,7 +143,11 @@
 
 \item[$\bullet$] Alternatively, you can download the Isabelle-aware E and SPASS
 binary packages from Isabelle's download page. Extract the archives, then add a
-line to your \texttt{\char`\~/.isabelle/etc/components} file with the absolute
+line to your \texttt{\$ISABELLE\_HOME\_USER/etc/components}%
+\footnote{The variable \texttt{\$ISABELLE\_HOME\_USER} is set by Isabelle at
+startup. Its value can be retrieved by invoking \texttt{isabelle}
+\texttt{getenv} \texttt{ISABELLE\_HOME\_USER} on the command line.}
+file with the absolute
 path to E or SPASS. For example, if the \texttt{components} does not exist yet
 and you extracted SPASS to \texttt{/usr/local/spass-3.7}, create the
 \texttt{components} file with the single line
@@ -173,7 +177,7 @@
 World Wide Web Library (\texttt{libwww-perl}) installed. If you must use a proxy
 server to access the Internet, set the \texttt{http\_proxy} environment variable
 to the proxy, either in the environment in which Isabelle is launched or in your
-\texttt{\char`\~/.isabelle/etc/settings} file. Here are a few examples:
+\texttt{\char`\~/\$ISABELLE\_HOME\_USER/etc/settings} file. Here are a few examples:
 
 \prew
 \texttt{http\_proxy=http://proxy.example.org} \\