Re: FYI: Yacc outputs

[Akim Demaille]

>>>>> "Ralf" == Ralf Corsepius <address@hidden> writes:

>> just a minor but important issue.
Ralf> IMHO, this patch should not be applied, rsp. reverted.

Hi Ralf!

Ralf> *.output files are informative output files, comparable to
Ralf> listings or files originating from using some "obscure verbosity
Ralf> mode" options (Here: -v|--verbose) and not the actual/usable
Ralf> product of invoking bison/yacc.

I disagree.  They _are_ part of the output, and it is because of
Automake that people can't use the right options of Yacc/Bison to
rename the output files.  Currently, the result is that you have
y.output wandering around, and it is even worse if you happen to have
several .y.  Which turns out to be exactly my case.  Without Automake,
I would use bison --output, and there would be no such problem.


Ralf> Furthermore, this patch is not 8.3-filename-save (y.output).

I do think it is safe.  At least wrt to Bison, which outputs y.out, so
the truncation is correct.