ebnf-eps-end

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

"#ebnf2ps#end
%%EOF
"

• This variable may be risky if used as a file-local variable.

Documentation:
EBNF EPS end