Re: Make sure generated file name extensions are changed

[Joel E. Denny]

On Tue, 7 Oct 2008, Joel E. Denny wrote:

> Di-an's email has prompted me to change the way Bison computes output file    
> names.

I'm still working on this and will hopefully push some changes tomorrow.

> On Mon, 6 Oct 2008, Di-an JAN wrote:

> > This patch also checks that the input file name is not used as an output
> > file name in check_file_name_check, with a fatal error if it is.
> 
> I think this change is a nice improvement regardless of the issues above.  

I pushed the parts of Di-an's patch that implement this.  The sum of 
Di-an's committed changes is still less than 15 lines, so I believe 
they're not legally significant for copyright.