[gram] Don't convert one space to two after a . or ! in the grammar.

zygoloid · zygoloid · commit c4ce2ae3c7d3 · 2014-08-21T15:24:55.000-07:00
These do not mark the end of a sentence.
diff --git a/source/macros.tex b/source/macros.tex
@@ -328,8 +328,10 @@
  \newcommand{\bnfindentrest}{\BnfRest}
  \begin{minipage}{.9\hsize}
  \newcommand{\br}{\hfill\\}
+ \frenchspacing
  }
  {
+ \nonfrenchspacing
  \end{minipage}
  }
 

Original file line number	Diff line number	Diff line change
`@@ -328,8 +328,10 @@`
`328`	`328`	`\newcommand{\bnfindentrest}{\BnfRest}`
`329`	`329`	`\begin{minipage}{.9\hsize}`
`330`	`330`	`\newcommand{\br}{\hfill\\}`
	`331`	`+ \frenchspacing`
`331`	`332`	`}`
`332`	`333`	`{`
	`334`	`+ \nonfrenchspacing`
`333`	`335`	`\end{minipage}`
`334`	`336`	`}`
`335`	`337`