ebnf-eps-buffer-name

ebnf-eps-buffer-name is a variable defined in `ebnf2ps.el'.
Its value is

" *EPS*"

Documentation:
Not documented as a variable.