diff options
| -rwxr-xr-x | make/fakefop | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/make/fakefop b/make/fakefop index 2818334f48..5c6a72a20c 100755 --- a/make/fakefop +++ b/make/fakefop @@ -30,7 +30,6 @@ fi OUTFILE=$6 NAME=`basename $6 .pdf` -echo Write $OUTFILE cat > $OUTFILE <<EndOfFile %PDF-1.4 1 0 obj |