Copy in the stylesheet after latex2html is done.

freddrake · freddrake · commit fcf57ad959ef · 1999-02-16T20:28:25.000Z
diff --git a/Doc/tools/mkhtml.sh b/Doc/tools/mkhtml.sh
@@ -31,6 +31,10 @@ latex2html \
  ${1:+$@} \
  $srcdir/$part/$part.tex || exit $?
 
+# copy in the stylesheet
+echo "cp $srcdir/html/style.css $part/$part.css"
+cp $srcdir/html/style.css $part/$part.css || exit $?
+
 echo "(cd $part; $srcdir/tools/node2label.pl \*.html)"
 cd $part
 $srcdir/tools/node2label.pl *.html || exit $?
