Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e0a0fcd commit 8dbf46aCopy full SHA for 8dbf46a
1 file changed
Doc/tools/mkhowto.sh
@@ -64,7 +64,7 @@ build_html() {
64
latex2html -init_file $L2H_INIT_FILE \
65
-address "$ADDRESS" \
66
-link $MAX_LINK_DEPTH -split $MAX_SPLIT_DEPTH \
67
- $1 || exit $?
+ -dir $1 $TEXFILE || exit $?
68
else
69
70
@@ -126,6 +126,7 @@ cleanup() {
126
if [ ! "$BUILD_DVI" ] ; then
127
rm -f $1.dvi
128
fi
129
+ rm -f $1/IMG* $1/*.pl $1/WARNINGS $1/index.dat $1/modindex.dat
130
}
131
132
# figure out what our targets are:
0 commit comments