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