mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
kaf24@viper.(none)
7adbe03e19
No longer require latex2html (bizarrely considered 'non-free' by Debian maintainers) to build docs. Instead we still build PS/PDF docs, but skip HTML docs. Signed-off-by: Keir Fraser <keir.fraser@cl.cam.ac.uk>
21 lines
684 B
Plaintext
21 lines
684 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 dvips || exit 1
|
|
silent_which ps2pdf || exit 1
|
|
silent_which fig2dev || exit 1
|
|
|
|
exit 0
|