Commit 7213ebeb014190109605c9562765a46b5243cb5d

Tom Tromey 1998-06-24T03:36:25

doc fix for yacc renaming hack