1.1 --- a/docs/src/user.tex	Sun Nov 28 08:54:57 2004 +0000
     1.2 +++ b/docs/src/user.tex	Sun Nov 28 20:48:40 2004 +0000
     1.3 @@ -707,7 +707,9 @@ culminating in a login prompt.
     1.4  Ttylinux is a very small Linux distribution, designed to require very
     1.5  few resources.  We will use it as a concrete example of how to start a
     1.6  Xen domain.  Most users will probably want to install a full-featured
     1.7 -distribution once they have mastered the basics.
     1.8 +distribution once they have mastered the basics\footnote{ttylinux is
     1.9 +maintained by Pascal Schmidt. You can download source packages from
    1.10 +the distribution's home page: {\tt http://www.minimalinux.org/ttylinux/}}.
    1.11  
    1.12  \begin{enumerate}
    1.13  \item Download and extract the ttylinux disk image from the Files