diff options
Diffstat (limited to 'pnmtopalm.html')
-rw-r--r-- | pnmtopalm.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pnmtopalm.html b/pnmtopalm.html index 94aa6ffa..9ca9c0db 100644 --- a/pnmtopalm.html +++ b/pnmtopalm.html @@ -164,7 +164,7 @@ the <b>-colormap</b> option, for much the same reason. <dt><b>-withdummy</b> <dd> -This option tells <b>pnmtopalm</b> to put in the stream, after after +This option tells <b>pnmtopalm</b> to put in the stream, after the image, a dummy image header to introduce subsequent high density images. |