Lines Matching refs:extension
3044 % the file that accumulates this index. The file's extension is foo.6396 % #1 is (mandatory) image filename; we tack on .eps extension.6399 % #5 is (ignored optional) extension.
