From dae4c25149bceb93580a78e6cae9576de8c3f1e2 Mon Sep 17 00:00:00 2001 From: Dwight Perry Date: Thu, 28 Jul 2011 14:50:25 -0400 Subject: [PATCH] testing --- doc/info/arrows.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/info/arrows.html b/doc/info/arrows.html index f243092a2..bbd4fea2a 100644 --- a/doc/info/arrows.html +++ b/doc/info/arrows.html @@ -11,7 +11,7 @@

Arrow Shapes


Arrow shapes can be specified and named using the following simple -grammar. +grammar.. Terminals are shown in bold font and nonterminals in italics. Literal characters are given in single quotes. Square brackets [ and ] enclose optional items. -- 2.40.0