[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Bison 3.4.1 problem during make (makeinfo: unrecognized option)
|
From: |
Simon Sobisch |
|
Subject: |
Bison 3.4.1 problem during make (makeinfo: unrecognized option) |
|
Date: |
Fri, 23 Aug 2019 14:02:49 +0200 |
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
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Bison 3.4.1 problem during make (makeinfo: unrecognized option),
Simon Sobisch <=