Update info files

diff --git a/doc/info/lang.html b/doc/info/lang.html
index 5fc588bf929a93b18ca2f51846512ac1b92ba778..1eb13a4fa29d178d53b0d1c1bac7d8dc840b47e0 100644 (file)
--- a/doc/info/lang.html
+++ b/doc/info/lang.html
@@ -102,11 +102,6 @@ Vertical bars | separate alternatives.
   <TD ALIGN=LEFT>:</TD>
   <TD ALIGN=LEFT>[ <B>subgraph</B> [ <I>ID</I> ] ] <B>'{'</B> <I>stmt_list</I> <B>'}'</B></TD>
 </TR>
-<TR>
-  <TD ALIGN=RIGHT></TD>
-  <TD ALIGN=LEFT>|</TD>
-  <TD ALIGN=LEFT><B>subgraph</B> <I>ID</I></TD>
-</TR>
 <TR>
   <TD ALIGN=RIGHT><I>compass_pt</I></TD>
   <TD ALIGN=LEFT>:</TD>