Bug#627789: Postscript

2011-05-25 Thread Simon Kelley
Thomas Hood wrote: P.S. The patched script updates the mtime by doing: echo $TMP_FILE This is less than idea, since it adds a useless CR to the end of the file. I tried: : $TMP_FILE which doesn't add anything to the file, but this failed to change the mtime.

Bug#627789: Postscript

2011-05-24 Thread Thomas Hood
P.S. The patched script updates the mtime by doing: echo $TMP_FILE This is less than idea, since it adds a useless CR to the end of the file. I tried: : $TMP_FILE which doesn't add anything to the file, but this failed to change the mtime. Perhaps you can think of something