+#############################################################################
+#
+# 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
+# developer manual
+ rm -rf doc/webserver/developer-manual
+ cd doc/source && db2html -s ldp.dsl developer-manual.sgml && mv developer-manual ../webserver
+# faq
+ rm -rf doc/webserver/faq
+ cd doc/source && db2html -s ldp.dsl faq.sgml && mv faq ../webserver