Commit b9044a04 authored by Per Cederqvist's avatar Per Cederqvist
Browse files

Don't attempt to "make pdf" and "make dvi"unless we find tex.

parent 41eb786e
......@@ -146,6 +146,17 @@ else
dviok=false
fi
# We ned "tex"
if tex --version
then
:
else
echo tex not found >> r/dvilog.txt
echo tex not found >> r/pdflog.txt
dviok=false
pdfok=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