Local module syntax table written as other extensions?

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

manual/manual/refman/exten.etex

@@ -469,23 +469,23 @@ The construction is also extremely useful with first-class modules.
 \ikwd{val\@\texttt{val}}
 
 \begin{syntax}
-typexpr-ext:
-      typexpr
+typexpr:
+      ...
     | ('module' package-type)
 ;
 package-type:
       modtype-path
     | modtype-path 'with' package-type-constraint { 'and' package-type-constraint }
 ;
-module-expr-ext:
-      module-expr
+module-expr:
+      ...
     | ('val' expr ':' package-type)
 ;
 package-type-constraint:
           'type' typeconstr-name '=' typexpr
 ;
-expr-ext:
-      expr
+expr:
+      ...
     | ('module' module-expr ':' package-type)
 ;
 \end{syntax}

manual/styles/syntaxdef.hva

@@ -44,6 +44,7 @@
 \stx@silent{unit-name}%
 %%Redefined in exten.etex
 \stx@silent{expr}%
+\stx@silent{typexpr}%
 \stx@silent{module-expr}%
 \stx@silent{type-representation}%
 \stx@silent{definition}%