ebnf-eps-production-list

ebnf-eps-production-list is a variable defined in `ebnf2ps.el'.
Its value is
nil


Documentation:
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.