Bison 3.4.1 problem during make (makeinfo: unrecognized option)

[Simon Sobisch]

   I just tested to build Bison 3.4.1 in some environments, one broke
   during make:
     MAKEINFO ../doc/bison.info
   makeinfo: unrecognized option
   `--set-customization-variable=SECTION_NAME_IN_TITLE=true'
   I suggest to check during configure if this option is available and
   substitute that to the makefile - otherwise leave it out.
   The "obvious" work-around `touch ../doc/bison.info` lead to a
   sucessfull make.
   Simon