Variable: ebnf-eps-prefix

ebnf-eps-prefix is a customizable variable defined in ebnf2ps.el.gz.

Value

"ebnf--"

Documentation

Specify EPS prefix file name.

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

This variable was added, or its default value changed, in Emacs 20.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/ebnf2ps.el.gz
(defcustom ebnf-eps-prefix "ebnf--"
  "Specify EPS prefix file name.

See `ebnf-eps-buffer' and `ebnf-eps-region' commands."
  :type 'string
  :version "20"
  :group 'ebnf2ps)