Comment 33 for bug 255161

Revision history for this message
rew (r-e-wolff) wrote :

I like simple fixes. The fix can be simpler:
  cat | sed -e 's/^%%CreationDate: (Tue/%%CreationDate: (tue/' > $INPUT_TEMP
can be:
  sed -e '/^%%CreationDate:/s/Tue/tue/' > $INPUT_TEMP