From 2ec29e0831afb4f3c5a41f613ecf80f82d51a006 Mon Sep 17 00:00:00 2001 From: Luc Maranget Date: Fri, 3 Oct 2008 15:49:13 +0000 Subject: Un peu de nettoyage + liens plus pratiques en HTML git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10174 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- manual/styles/syntaxdef.hva | 2 ++ 1 file changed, 2 insertions(+) (limited to 'manual/styles') diff --git a/manual/styles/syntaxdef.hva b/manual/styles/syntaxdef.hva index cdac4c9653..877ac0044d 100644 --- a/manual/styles/syntaxdef.hva +++ b/manual/styles/syntaxdef.hva @@ -48,6 +48,8 @@ \stx@silent{definition}% \stx@silent{specification}% \stx@silent{type-equation}% +%%Redefined in names.etex +\stx@silent{label-name}% %%Not really defined in lexyacc.etex \stx@silent{character-set}% \stx@silent{symbol}% -- cgit v1.2.1