Changed "require" to "request" in user info message.

master
Taha Ahmed 14 years ago
parent 710955d247
commit d168eab7b9

@ -24,7 +24,7 @@ if [ -e ltxmkshellescape.rc ]; then
useshellescape=true useshellescape=true
echo "+++ Shell escape activated" echo "+++ Shell escape activated"
else else
echo "--- This job does not require shell escape" echo "--- This job does not request shell escape"
fi fi

Loading…
Cancel
Save