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