+# ../txt/adminmanual_en.txt: adminmanual_en.sgml
+ sgml2txt -f adminmanual_en.sgml
+
+# ../html/adminmanual_en.html: adminmanual_en.sgml
+ sgml2html adminmanual_en.sgml
+
+# ../txt/installation_en.txt: installation_en.sgml
+ sgml2txt -f installation_en.sgml
+
+# ../html/installation_en.html: installation_en.html
+ sgml2html installation_en.sgml
+
+# ../html/spiderFAQ_en.html: spiderFAQ_en.sgml
+ sgml2txt spiderFAQ_en.sgml
+
+# ../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
+
+ perl -pi.bak -e 's|</HEAD>|<link rel=stylesheet href="style.css" type="text/css" title="default stylesheet">\n</HEAD>|' *.html
+ mv *.html ../html
+ mv *.txt ../txt
+ rm -f *.bak
+ rm -f *cmd.sgml