From fcf57ad959efa060956a77df6d465e44b02b0525 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Tue, 16 Feb 1999 20:28:25 +0000
Subject: [PATCH] Copy in the stylesheet after latex2html is done.

---
 Doc/tools/mkhtml.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Doc/tools/mkhtml.sh b/Doc/tools/mkhtml.sh
index 940d934160a..e20d3bf123e 100755
--- 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 $?