Open timotheecour opened 10 years ago
I had to use:make MAKEINFO=/usr/bin/makeinfo FLEX=/usr/bin/flex
I had to use:make MAKEINFO=/usr/bin/makeinfo FLEX=/usr/bin/flex