3 Apr
2007
3 Apr
'07
1:21 a.m.
On Apr 2, 2007, at 2:33 PM, Alain Matthes wrote:
There is a little change in one line :
now if [ -s "${PDF}" -a ! "$PDF" -ot "$FILE" ]; then
before if [ -s "${PDF}" -a "$PDF" -nt "$FILE" ]; then .....
-ot instead -nt ? why ?
The first condition is negated by the "!", so it reads as "not older than". The second condition reads as "newer than". So ultimately they are equivalent.