+#############################################################################
+#
+# Documentation
+#
+# converts doc/source/*.sgml into html, text and man pages
+#
+#############################################################################
+dok:
+ mkdir -p doc/text doc/man
+# user manual
+ rm -rf doc/webserver/user-manual
+ cd doc/source && db2html -s ldp.dsl user-manual.sgml && mv user-manual ../webserver
+ cd doc/source && db2html -s ldp.dsl --nochunks user-manual.sgml > tmp.html && lynx -dump tmp.html > ../text/user-manual.txt && rm -rf tmp.html user-manual
+## developer manual
+ rm -rf doc/webserver/developer-manual
+ cd doc/source && db2html -s ldp.dsl developer-manual.sgml && mv developer-manual ../webserver
+ cd doc/source && db2html -s ldp.dsl --nochunks developer-manual.sgml > tmp.html && lynx -dump tmp.html > ../text/developer-manual.txt && rm -rf tmp.html developer-manual
+## faq
+ rm -rf doc/webserver/faq
+ cd doc/source && db2html -s ldp.dsl faq.sgml && mv faq ../webserver
+ cd doc/source && db2html -s ldp.dsl --nochunks faq.sgml > tmp.html && lynx -dump tmp.html > ../text/faq.txt && rm -rf tmp.html faq
+
+#############################################################################
+#
+# 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/