Commit 41eb786e authored by Per Cederqvist's avatar Per Cederqvist
Browse files

Check for texi2dvi.

parent 3201952e
......@@ -4,6 +4,7 @@
* scripts/xenofarm.sh: Make check-doc, pdf and dvi separately,
instead of using the "make check" target of the doc subdirectory.
Don't attempt to "make pdf" unless we find pdftex.
Don't attempt to "make dvi" unless we find texi2dvi.
2002-08-17 Per Cederqvist <ceder@ceder.dyndns.org>
......
......@@ -137,6 +137,15 @@ else
pdfok=false
fi
# We ned "texi2dvi"
if texi2dvi --version
then
:
else
echo texi2dvi not found >> r/dvilog.txt
dviok=false
fi
# No use to run pdf and dvi if check-doc fails.
oldstatus=$status
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment