ebnf-font-name-select

ebnf-font-name-select is a variable defined in `ebnf2ps.el'.
Its value is
[normal bold italic bold-italic]

  • This variable may be risky if used as a file-local variable.

Documentation:
Not documented as a variable.