+# ../html/spiderFAQ_en.html: spiderFAQ_en.sgml
+ sgml2html spiderFAQ_en.sgml
+
+# ../html/usermanual_en.html: usermanual_en.sgml
+ sgml2html usermanual_en.sgml
+
+# ../txt/usermanual_en.txt: usermanual_en.sgml
+ sgml2txt usermanual_en.sgml
+
+# ../html/spiderCVS_en.html: spiderCVS_en.sgml
+ sgml2html spiderCVS_en.sgml
+
+# ../txt/spiderCVS_en.txt: spiderCVS_en.sgml
+ sgml2txt spiderCVS_en.sgml