+redhat-dok:
+ mkdir -p doc/text doc/man doc/source/user-manual \
+ doc/source/developer-manual doc/source/faq
+## user manual
+ rm -rf doc/webserver/user-manual
+ cd doc/source/user-manual && $(DB) ../user-manual.sgml && cd .. &&\
+ mv user-manual ../webserver
+ cd doc/source && $(DB) -V nochunks user-manual.sgml > tmp.html && w3m \
+ -dump tmp.html > ../text/user-manual.txt && rm -rf tmp.html \
+ user-manual
+## developer manual
+ rm -rf doc/webserver/developer-manual
+ cd doc/source/developer-manual && $(DB) ../developer-manual.sgml &&\
+ cd .. && mv developer-manual ../webserver
+ cd doc/source && $(DB) -V nochunks developer-manual.sgml > tmp.html && \
+ w3m -dump tmp.html > ../text/developer-manual.txt && rm -rf tmp.html \
+ developer-manual
+## faq
+ rm -rf doc/webserver/faq
+ cd doc/source/faq && $(DB) ../faq.sgml && cd .. && mv faq ../webserver
+ cd doc/source && $(DB) -V nochunks faq.sgml > tmp.html && w3m -dump \
+ tmp.html > ../text/faq.txt && rm -rf tmp.html faq
+