2012-09-14 08:19:47 +02:00
|
|
|
Index: editor/pnmindex.csh
|
|
|
|
===================================================================
|
|
|
|
--- editor/pnmindex.csh.orig
|
2007-01-16 00:26:51 +01:00
|
|
|
+++ editor/pnmindex.csh
|
2012-09-14 08:19:47 +02:00
|
|
|
@@ -85,7 +85,7 @@ if ( $#argv == 0 ) then
|
2007-01-16 00:26:51 +01:00
|
|
|
goto usage
|
|
|
|
endif
|
|
|
|
|
|
|
|
-set tmpfile=/tmp/pi.tmp.$$
|
|
|
|
+set tmpfile=.pi.tmp.$$
|
|
|
|
rm -f $tmpfile
|
|
|
|
set maxformat=PBM
|
|
|
|
|
2016-08-22 17:43:39 +02:00
|
|
|
|