mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 10:11:27 +01:00
cl349@firebug.cl.cam.ac.uk
7554eb1321
Remove support for tgif as a tool. We don't use it and it's hard to find as and rpm. Signed-off-by: cl349@cl.cam.ac.uk
22 lines
718 B
Plaintext
22 lines
718 B
Plaintext
|
|
silent_which ()
|
|
{
|
|
if ! `which $1 1>/dev/null 2>/dev/null`; then
|
|
echo "*************************************************"
|
|
echo "*************************************************"
|
|
echo "* WARNING: Package '$1' is required"
|
|
echo "* to build Xen documentation"
|
|
echo "*************************************************"
|
|
echo "*************************************************"
|
|
fi
|
|
which $1 1>/dev/null 2>/dev/null
|
|
}
|
|
|
|
silent_which latex || exit 1
|
|
silent_which latex2html || exit 1
|
|
silent_which dvips || exit 1
|
|
silent_which ps2pdf || exit 1
|
|
silent_which fig2dev || exit 1
|
|
|
|
exit 0
|