Update web URLs to tuebingen.mpg.de.

systemlinux.org has been down for a while. Meanwhile the paraslash
web pages have been set up at a new location hosted by the MPI campus
of Tübingen.

This commit lists the alternative URLs in README, INSTALL and manual.

diff --git a/INSTALL b/INSTALL
index 9917afb681b23fa90405f671beed0c640c957d00..4a814dc15833de9ff5fc014d1dae22edc1deb866 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -27,4 +27,6 @@ Example for cross-compiling:
 
 For details see the user manual:
 
+       http://people.tuebingen.mpg.de/maan/paraslash/manual.html
+or
        http://paraslash.systemlinux.org/manual.html

diff --git a/README b/README
index 0031092f1478f2dbffa6778c25984c70ee3a6617..0a0aae881bf6a766d449550c5ddc51152a4800bc 100644 (file)
--- a/README
+++ b/README
@@ -5,9 +5,10 @@ audio files. See the user manual for details.
 Distribution of paraslash is covered by the GNU GPL, version 2 unless
 otherwise stated. See file COPYING.
 
-Web page:      http://paraslash.systemlinux.org/
-Gitweb:                http://git.tuebingen.mpg.de/paraslash.git
-Git URL:       git://git.tuebingen.mpg.de/paraslash.git
-Email:         Andre Noll <maan@tuebingen.mpg.de>
+Web page:             http://people.tuebingen.mpg.de/maan/paraslash/
+Alternative web page: http://paraslash.systemlinux.org/
+Gitweb:               http://git.tuebingen.mpg.de/paraslash.git/
+Git URL:              git://git.tuebingen.mpg.de/paraslash.git
+Email:                Andre Noll <maan@tuebingen.mpg.de>
 
 Comments and bug reports are welcome.

diff --git a/web/manual.m4 b/web/manual.m4
index 6a72771808de37be7cffda015da22e24bd2916b8..218769bac814b8bd087c6938375d7c4a8a45d255 100644 (file)
--- a/web/manual.m4
+++ b/web/manual.m4
@@ -2215,7 +2215,8 @@ RFCs
 Application web pages
 ~~~~~~~~~~~~~~~~~~~~~
 
-       - XREFERENCE(http://paraslash.systemlinux.org/, paraslash)
+       - XREFERENCE(http://people.tuebingen.mpg.de/maan/paraslash/, paraslash)
+       - XREFERENCE(http://paraslash.systemlinux.org/, paraslash (alternative page))
        - XREFERENCE(http://xmms2.org/wiki/Main_Page, xmms)
        - XREFERENCE(http://www.mpg123.de/, mpg123)
        - XREFERENCE(http://gstreamer.freedesktop.org/, gstreamer)