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

---
 Doc/tools/mkhowto.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 792f661dd60..373430d3779 100755
--- a/Doc/tools/mkhowto.sh
+++ b/Doc/tools/mkhowto.sh
@@ -84,6 +84,7 @@ build_html() {
      -init_file $L2H_INIT_FILE \
      -init_file $L2H_AUX_INIT_FILE \
      -dir $BUILDDIR $TEXFILE || exit $?
+    cp $TOPDIR/html/style.css $BUILDDIR/$1.css
     if [ "$MAX_SPLIT_DEPTH" -ne 1 ] ; then
 	(cd $BUILDDIR; $MYDIR/node2label.pl *.html) || exit $?
     fi