ebnf-production-name-p

ebnf-production-name-p is a variable defined in `ebnf2ps.el'.
Its value is

t

Documentation:
Non-nil means production name will be printed.

You can customize this variable.

This variable was introduced, or its default value was changed, in version 20 of Emacs.