Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!SAUNA.HUT.FI!jkp From: jkp@SAUNA.HUT.FI (Jyrki Kuoppala) Newsgroups: gnu.utils.bug Subject: Bison manual page Message-ID: <8908220017.AA17727@cs.hut.fi> Date: 22 Aug 89 00:17:23 GMT Sender: daemon@tut.cis.ohio-state.edu Distribution: gnu Organization: Helsinki University of Technology, Finland. Lines: 15 Bison manual page states: FILES /usr/local/lib/bison.simple simple parser /usr/local/lib/bison.hairy complicated parser This isn't always correct, as for example we are trying to make the system easy to maintain and don't want to have anything on /usr that isn't from the vendor's distribution. For example, we have the files on /p/gnu/lib/bison.{simple,hairy}. Perhaps `make install' should automagically edit the manual page or a comment should be added that these might be in a different place ? //Jyrki