>> The man page should be generated automatically from "bison --help".
>> (But this is another matter.)
>
> Ok, so I should just leave "doc/bison.1" untouched for now?  That is, 
> you'll implement this eventually?

Yes, thanks.


Reply via email to