Home | History | Annotate | Download | only in doc

Lines Matching refs:extension

4290 % the file that accumulates this index.  The file's extension is foo.
8445 % #1 is (mandatory) image filename; we tack on .eps extension.
8448 % #5 is (ignored optional) extension.