ebnf-eps-prefix

ebnf-eps-prefix is a variable defined in `ebnf2ps.el'.
Its value is
"ebnf--"


Documentation:
Specify EPS prefix file name.

See `ebnf-eps-buffer' and `ebnf-eps-region' commands.

You can customize this variable.

This variable was introduced, or its default value was changed, in version 20 of Emacs.