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

tex is most likely not required for pdf creation.

parent 13e64c42
......@@ -3,7 +3,7 @@
Break out "dvi" and "pdf" from Xenofarm task "checkdoc".
* 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 and tex.
Don't attempt to "make pdf" unless we find pdftex.
Don't attempt to "make dvi" unless we find texi2dvi and tex.
2002-08-17 Per Cederqvist <ceder@ceder.dyndns.org>
......
......@@ -152,9 +152,7 @@ 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.
......
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