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.