Added a mirror in Austria, Daniel
diff --git a/doc/xml.html b/doc/xml.html
index edcbaf4..d745aba 100644
--- a/doc/xml.html
+++ b/doc/xml.html
@@ -506,7 +506,9 @@
as a <a href="ftp://ftp.gnome.org/pub/GNOME/stable/sources/libxml/">source
archive</a> or <a
href="ftp://ftp.gnome.org/pub/GNOME/stable/redhat/i386/libxml/">RPM
-packages</a>. (NOTE that you need both the <a
+packages</a>, Antonin Sprinzl also provide <a
+href="ftp://gd.tuwien.ac.at/pub/libxml/">a mirror in Austria</a>. (NOTE that
+you need both the <a
href="http://rpmfind.net/linux/RPM/libxml2.html">libxml(2)</a> and <a
href="http://rpmfind.net/linux/RPM/libxml2-devel.html">libxml(2)-devel</a>
packages installed to compile applications using libxml.) <a
@@ -2572,6 +2574,7 @@
+
} </pre>
</li>
<li>And then use it to save the document: