--- a/src/HOL/Unix/document/root.tex Tue Jan 23 18:13:00 2001 +0100
+++ b/src/HOL/Unix/document/root.tex Tue Jan 23 18:17:14 2001 +0100
@@ -54,8 +54,7 @@
\cite{Unix-heritage} for further historical background information. Here is a
recent account of the philosophical principles behind the Unix way of software
and systems engineering.\footnote{This has appeared on \emph{Slashdot} on
- 25-March-2000, see \url{http://slashdot.com}, as well as
- \url{http://www.cix.co.uk/~dunnp/unix-philosophy.html}.}
+ 25-March-2000, see \url{http://slashdot.com}.}
{\small
\begin{verbatim}