+#############################################################################
+#
+# Webserver
+#
+# moves dokumentation to webserver
+#
+#############################################################################
+webserver:
+ $(ECHO) -------------------------------------------------------
+ $(ECHO) You have run make dok before, right?
+ $(ECHO) Note that this command scps all stuff to the webserver,
+ $(ECHO) it will not remove obsolete documents.
+ $(ECHO) -------------------------------------------------------
+ chmod -R a+r doc/webserver
+ find doc/webserver -type d -exec chmod a+rx {} \;
+ cd doc/webserver && scp -Cr . ijbswa.sourceforge.net:/home/groups/i/ij/ijbswa/htdocs/