mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 20:12:31 +01:00
3608312cf2
Docs/Support/test-make-manual: Portability fixes.
137 lines
2.9 KiB
Bash
Executable file
137 lines
2.9 KiB
Bash
Executable file
#!/bin/sh
|
|
|
|
needed_flags=0
|
|
needed_texi2html=0
|
|
needed_texinfo_tex=0
|
|
needed_include_texi=0
|
|
|
|
if [ -z $BROWSER ]; then
|
|
BROWSER=netscape
|
|
echo "BROWSER not set, using $BROWSER"
|
|
fi
|
|
|
|
die ()
|
|
{
|
|
echo
|
|
echo $1
|
|
cleanup
|
|
exit 1
|
|
}
|
|
|
|
cleanup ()
|
|
{
|
|
echo "Cleaning up..."
|
|
if [ $needed_flags ]; then
|
|
bk clean Flags
|
|
fi
|
|
|
|
if [ $needed_texi2html ]; then
|
|
bk clean Support/texi2html
|
|
fi
|
|
|
|
if [ $needed_texinfo_tex ]; then
|
|
bk clean Support/texinfo.tex
|
|
fi
|
|
|
|
if [ $needed_include_texi ]; then
|
|
rm -f include.texi
|
|
fi
|
|
|
|
for file in \
|
|
manual.aux manual.cp manual.cps manual.dvi \
|
|
manual.fn manual.fns manual.ky manual.html \
|
|
manual.pg manual.toc manual.tp manual.vr \
|
|
mysql.info manual_toc.html ;
|
|
do
|
|
rm -f $file
|
|
done
|
|
|
|
}
|
|
|
|
|
|
if [ -e Flags/usa.txt ]; then
|
|
echo "Good, Flags are there."
|
|
else
|
|
echo -n "Checking out Flags..."
|
|
bk edit Flags >/dev/null 2>&1
|
|
echo " Done."
|
|
needed_flags=1
|
|
fi
|
|
|
|
if [ -e Support/texi2html ]; then
|
|
echo "Good, texi2html is there."
|
|
else
|
|
echo -n "Checking out texi2html..."
|
|
bk edit Support/texi2html >/dev/null 2>&1
|
|
echo " Done."
|
|
needed_texi2html=1
|
|
fi
|
|
|
|
if [ -e Support/texinfo.tex ]; then
|
|
echo "Good, texinfo.tex is there."
|
|
else
|
|
echo -n "Checking out texinfo.tex..."
|
|
bk edit Support/texinfo.tex >/dev/null 2>&1
|
|
echo " Done."
|
|
needed_texinfo_tex=1
|
|
fi
|
|
|
|
if [ -e include.texi ]; then
|
|
echo "Good, include.texi is there."
|
|
else
|
|
echo -n "Creating include.texi..."
|
|
bk edit ../configure.in >/dev/null 2>&1
|
|
echo "@c This file was generated by test-make-manual" > include.texi
|
|
echo -n "@set mysql_version " >> include.texi
|
|
grep "AM_INIT_AUTOMAKE(mysql, " ../configure.in | \
|
|
sed -e 's;AM_INIT_AUTOMAKE(mysql, ;;' -e 's;);;' >> include.texi
|
|
echo -n "@set default_port " >> include.texi
|
|
grep "MYSQL_TCP_PORT_DEFAULT=" ../configure.in | \
|
|
sed -e 's;MYSQL_TCP_PORT_DEFAULT=;;' >> include.texi
|
|
echo " Done."
|
|
needed_include_texi=1
|
|
fi
|
|
|
|
echo -n "Running makeinfo..."
|
|
makeinfo --no-split -I . manual.texi
|
|
|
|
if [ $? != 0 ]; then
|
|
die "Manual has errors - fix before you commit"
|
|
else
|
|
echo " Looks good."
|
|
fi
|
|
|
|
|
|
echo -n "Running texi2html..."
|
|
/usr/bin/perl ./Support/texi2html -iso -number manual.texi
|
|
|
|
if [ $? != 0 ]; then
|
|
die "Manual has errors - fix before you commit"
|
|
else
|
|
echo " Looks good."
|
|
fi
|
|
|
|
|
|
echo -n "Running texi2dvi..."
|
|
texi2dvi --batch manual.texi > texi2dvi.out
|
|
|
|
if [ $? != 0 ]; then
|
|
die "Manual has errors - fix before you commit (saved in texi2dvi.out)"
|
|
else
|
|
rm texi2dvi.out
|
|
echo " Looks good."
|
|
fi
|
|
|
|
echo
|
|
echo
|
|
echo "Please examine your modifications in \`manual.html'."
|
|
echo
|
|
echo "If you would like to use a different browser, set the 'BROWSER' environment"
|
|
echo "variable."
|
|
echo
|
|
|
|
$BROWSER file:`pwd`/manual_toc.html
|
|
|
|
echo "-- Press Enter to Continue --"
|
|
read junk
|
|
cleanup
|