]> git.saurik.com Git - bison.git/commitdiff
# minor changes
authorJesse Thilo <jthilo@gnu.org>
Sun, 30 May 1999 13:58:02 +0000 (13:58 +0000)
committerJesse Thilo <jthilo@gnu.org>
Sun, 30 May 1999 13:58:02 +0000 (13:58 +0000)
doc/FAQ

diff --git a/doc/FAQ b/doc/FAQ
index 5dbd665f2e4f9ddda44ce0a3de83b04b153f959c..12dac135bb862484978fb2602f1f87f1dc74d895 100644 (file)
--- a/doc/FAQ
+++ b/doc/FAQ
@@ -37,7 +37,9 @@ A3.  Before you send a bug report, make sure you are using the latest
      did not contain the bug.
 
      If the bug is parser-related, you should include the smallest
      did not contain the bug.
 
      If the bug is parser-related, you should include the smallest
-     grammar you can which demonstrates the bug.  The smaller and
+     grammar you can which demonstrates the bug.  The grammar file
+     should also be complete (i.e., I should be able to run it through
+     Bison without having to edit or add anything).  The smaller and
      simpler the grammar, the easier it will be to fix the bug.
 
      Include information about your compilation environment, including
      simpler the grammar, the easier it will be to fix the bug.
 
      Include information about your compilation environment, including
@@ -72,7 +74,7 @@ Q5.  What is involved in being a beta tester?
 
 A5.  It's not terribly involved.  Basically, you would download a test
      release, compile it, and use it to build and run a parser or two.
 
 A5.  It's not terribly involved.  Basically, you would download a test
      release, compile it, and use it to build and run a parser or two.
-     After that, you would either submit a bug report or a message
+     After that, you would submit either a bug report or a message
      saying that everything is okay.  It is important to report
      successes as well as failures because test releases eventually
      become mainstream releases, but only if they are adequately
      saying that everything is okay.  It is important to report
      successes as well as failures because test releases eventually
      become mainstream releases, but only if they are adequately