+
+# ../html/usermanual.html: usermanual.sgml
+ sgml2html usermanual.sgml
+
+# ../txt/usermanual.txt: usermanual.sgml
+ sgml2txt usermanual.sgml
+
+# ../html/spiderCVS.html: spiderCVS.sgml
+ sgml2html spiderCVS.sgml
+
+# ../txt/spiderCVS.txt: spiderCVS.sgml
+ sgml2txt spiderCVS.sgml
+