Re: push parser documentation

[Joel E. Denny]

On Wed, 22 Aug 2007, Bob Rossi wrote:

> OK, I have a gdb/mi parser, and a small main program which is capable of 
> reading a file line by line and passing the info to the parser. This
> functionality seems to work fine. Now that I'm done working on this,
> I'll continue to work on the parser more, and thus test it more.

Sounds good.

> > Of course, whether we mv push.c yacc.c doesn't affect whether the push 
> > parser is usable in the next release.
> 
> That's true, however, it will be slightly annoying to me because I'll
> have to modify the autotools somehow to use the proper skeleton
> depending on the version of bison that I'm using.

As of right now, you do not have to specify a skeleton.  %push-parser or 
%push-pull-parser is enough.  That will still hold true when we mv push.c 
yacc.c.