diff options
Diffstat (limited to 'Doc/tools/mkhowto.sh')
| -rwxr-xr-x | Doc/tools/mkhowto.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 792f661dd6..373430d377 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 |