1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
#! /bin/sh
basename=tex_l2h
diffs_dir=diffs
logfile=$basename.log
stdout_file=$basename.out
[ "z$srcdir" = 'z' ] && srcdir=.
if which latex2html > /dev/null 2>&1; then
:
else
exit 77
fi
[ -d $diffs_dir ] || mkdir $diffs_dir
echo "$basename" > $logfile
: > $stdout_file
if tmp_dir=`mktemp -p /tmp -d l2h_t2h_XXXXXXXX`; then
echo "\$L2H_TMP = '$tmp_dir';" > l2h_tmp_dir.init
echo "1;" >> l2h_tmp_dir.init
else
exit 1
fi
[ -d $basename ] && rm -rf $basename
mkdir $basename
echo "perl -w -x $srcdir/../../texi2html.pl -test -init l2h_tmp_dir.init -conf-dir $srcdir/../../examples -l2h -expand tex --out $basename/ $srcdir/../manuals/mini_ker.texi $srcdir/../formatting/tex.texi >> $stdout_file 2>$basename/${basename}.2" >> $logfile
perl -w -x $srcdir/../../texi2html.pl -test -init l2h_tmp_dir.init -conf-dir $srcdir/../../examples -l2h -expand tex --out $basename/ $srcdir/../manuals/mini_ker.texi $srcdir/../formatting/tex.texi >> $stdout_file 2>$basename/${basename}.2
return_code=0
ret=$?
if [ $ret != 0 ]; then
echo "F: $basename/$basename.2"
return_code=1
else
rm -f $basename/*_l2h_images.log $basename/*.aux $basename/*_l2h.css $basename/*.png
sed -i -e 's/^texexpand.*/texexpand /' "$basename/$basename.2"
sed -i '/is no longer supported at.*line/d' "$basename/$basename.2"
sed -i -e 's/CONTENT="LaTeX2HTML.*/CONTENT="LaTeX2HTML">/' -e \
's/with LaTeX2HTML.*/with LaTeX2HTML/' "$basename/"*"_l2h.html"
sed -i -e 's/^# LaTeX2HTML.*/# LaTeX2HTML/' "$basename/"*"_l2h_images.pl" "$basename/"*"_l2h_labels.pl"
rm -f "$basename/"*".aux" "$basename/"*"_l2h_images.out"
for dir in ${basename}; do
if [ -d $srcdir/${dir}_res ]; then
diff -u --exclude=CVS --exclude='*.png' -r "$srcdir/${dir}_res" "${dir}" 2>>$logfile > "$diffs_dir/$dir.diff"
dif_ret=$?
if [ $dif_ret != 0 ]; then
echo "D: $diffs_dir/$dir.diff"
return_code=1
else
rm "$diffs_dir/$dir.diff"
fi
else
echo "no res: ${dir}_res"
fi
done
fi
rm -rf $tmp_dir
exit $return_code
|
