Let the webserver target update the user-manual symlink automatically.

As a bonus this prevents the webserver target from overwriting
whatever the user-manual symlink currently points to, usually the
documentation from the previous release.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 07451cf..0ad9912 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -616,9 +616,12 @@ webserver: tidy
        @$(ECHO) Please make sure your documentation files are up to date.
        @$(ECHO) Note that this command updates the home page and scps 
        @$(ECHO) all stuff to the webserver, it will not remove obsolete documents.
-       @$(ECHO) You will also need to change the user-manual symlink manually.
        @$(ECHO) -------------------------------------------------------
 
+       @$(ECHO) Replacing the user-manual symlink
+       @$(SSH) shell.sourceforge.net "cd /home/groups/i/ij/ijbswa/htdocs && rm user-manual \
+        && mkdir -p $(VERSION)/user-manual && ln -s $(VERSION)/user-manual user-manual"
+
        @$(ECHO) Uploading html
        @cd doc/webserver; \
           upload=`find . -type f -a -not \( -path "*/CVS*" -o -path "*/results*" \)`; \