diff options
Diffstat (limited to 'directory.html')
| -rw-r--r-- | directory.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/directory.html b/directory.html index 73a86485..8c0e5ab0 100644 --- a/directory.html +++ b/directory.html @@ -560,7 +560,7 @@ convert JBIG BIE (compressed bitmap) to PNM <DT><B><a href=zeisstopnm.html>zeisstopnm</a></B> <DD>convert a Zeiss confocal file to Netpbm format -<DT><B><a href=ppmtoarbtxt.html>ppmtoarbtxt.html</a></B> +<DT><B><a href=ppmtoarbtxt.html>ppmtoarbtxt</a></B> <DD>convert PPM to just about any text-based format, using a grammar file </DL> |