ebnf-eps-production-listebnf-eps-production-list is a variable defined in `
ebnf2ps.el'. Its value is
nilDocumentation: Alist associating production name with EPS file name list. Each element has the following form: (PRODUCTION EPS-FILENAME...) PRODUCTION is the production name. EPS-FILENAME is the EPS file name. This is generated during parsing and used during EPS generation. See `ebnf-eps-context' and section "Actions in Comments" in ebnf2ps documentation.