+# And now we create the documentation (manually):
+ $(MAKE) doc/source/ldpOK.dsl
+ (cd doc/source; \
+ $(DB2HTML) -o faq faq.sgml; \
+ $(DB2HTML) -o user-manual user-manual.sgml; \
+ $(DB2HTML) -o developer-manual developer-manual.sgml; \
+ docbook2txt faq.sgml; \
+ docbook2txt user-manual.sgml; \
+ docbook2txt developer-manual.sgml)
+