| commit | fcf57ad959efa060956a77df6d465e44b02b0525 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Tue Feb 16 20:28:25 1999 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Tue Feb 16 20:28:25 1999 +0000 |
| tree | 2254006c94202d5556004257bb9a6f627589d120 | |
| parent | 90fdda5404c73a2bd15200fe0033a7d6d2b44720 [diff] [blame] |
Copy in the stylesheet after latex2html is done.
diff --git a/Doc/tools/mkhtml.sh b/Doc/tools/mkhtml.sh index 940d934..e20d3bf 100755 --- a/Doc/tools/mkhtml.sh +++ b/Doc/tools/mkhtml.sh
@@ -31,6 +31,10 @@ ${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 $?