Searched refs:known_dvips_graphics_formats (Results 1 – 1 of 1) sorted by relevance
303 char const * const known_dvips_graphics_formats[] = {"eps", "ps", "eps.gz", variable3517 known_dvips_graphics_formats); in parse_text()