From 93da42bd22e91e7a8a5b451ba297aa0e28dcb053 Mon Sep 17 00:00:00 2001 From: michael Date: Thu, 4 Jun 1998 13:05:55 +0000 Subject: [PATCH] * corrected urls for more information --- docs/user.tex | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/docs/user.tex b/docs/user.tex index 33b9f77d97..d778265870 100644 --- a/docs/user.tex +++ b/docs/user.tex @@ -104,12 +104,14 @@ In this document, we describe the use of the compiler. The RTL is described in t If the documentation doesn't give an answer to your questions, you can obtain more information on the Internet, on the following addresses: \begin{itemize} -\item \htmladdnormallink{http://tfdec1.fys.kuleuven.ac.be/\~ michael/fpk.html} -{http://tfdec1.fys.kuleuven.ac.be/~michael/fpk.html} contains information +\item +\htmladdnormallink{http://tfdec1.fys.kuleuven.ac.be/\~{}michael/fpc/fpc.html} +{http://tfdec1.fys.kuleuven.ac.be/\~{}michael/fpc/fpc.html} contains information on the \linux port of the compiler. It contains also useful mail addresses and links to other places. -\item \htmladdnormallink{http://www.brain.uni-freiburg.de/\~klaus/fpk-pas} -{http://www.brain.uni-freiburg.de/~klaus/fpc-pas} is the main \fpc information site. +\item +\htmladdnormallink{http://www.brain.uni-freiburg.de/\~{}klaus/fpc/fpc.html} +{http://www.brain.uni-freiburg.de/\~{}klaus/fpc/fpc.html} is the main \fpc information site. It also contains the instructions for inscribing to the \textit{mailing-list}, another useful source of information. \end{itemize}