ebnf-production-vertical-space

ebnf-production-vertical-space is a variable defined in `ebnf2ps.el'.
Its value is

0.0

Documentation:
Specify vertical space in points between productions.

Value less or equal to zero forces ebnf2ps to set a proper default value.

You can customize this variable.

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