Commit 3a708aec authored by Per Cederqvist's avatar Per Cederqvist
Browse files

Make check-doc, pdf and dvi separately, instead of using the "make

check" target of the doc subdirectory.
parent 981c22d1
......@@ -104,6 +104,8 @@ dotask 1 "make" "cd $BASE && make"
#
checkdocok=true
pdfok=true
dviok=true
checkprgok=true
# We need "python".
......@@ -126,12 +128,36 @@ else
checkprgok=false
fi
# We ned "pdftex"
if pdftex --version
then
:
else
echo pdftex not found >> r/pdflog.txt
pdfok=false
fi
# No use to run pdf and dvi if check-doc fails.
oldstatus=$status
if $checkdocok
then
dotask 0 "checkdoc" "cd $BASE/doc && make check"
dotask 1 "checkdoc" "cd $BASE/doc && make check-doc"
fi
if $pdfok
then
dotask 0 "checkdoc" "cd $BASE/doc && make pdf"
fi
if $dviok
then
dotask 0 "checkdoc" "cd $BASE/doc && make dvi"
fi
# Restore status: check is useful even if check-doc failed.
status=$oldstatus
if $checkprgok
then
dotask 0 "checkprg" "cd $BASE/src && make check"
......
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