Function: ebnf-eps-file

Generate an EPS file from EBNF file FILE.

If optional arg DO-NOT-KILL-BUFFER-WHEN-DONE is non-nil, the buffer isn't
killed after EPS generation.

See also `ebnf-eps-buffer'.

(fn FILE &optional DO-NOT-KILL-BUFFER-WHEN-DONE)