diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2007-03-14 07:07:39 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2007-03-14 07:07:39 +0000 |
| commit | 41cd72beb9d3c70544695157b18a2d99127c53d4 (patch) | |
| tree | 38231392802e86357d4d9524657ea4d4cd425794 /manual/styles | |
| parent | 4f92bd26110ff0ec904681f0b3c8b009b98f33dd (diff) | |
| download | ocaml-41cd72beb9d3c70544695157b18a2d99127c53d4.tar.gz | |
+
git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'manual/styles')
| -rw-r--r-- | manual/styles/syntaxdef.hva | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/styles/syntaxdef.hva b/manual/styles/syntaxdef.hva index 3993ee67af..cdac4c9653 100644 --- a/manual/styles/syntaxdef.hva +++ b/manual/styles/syntaxdef.hva @@ -27,7 +27,7 @@ \newcommand{\token}[1]{\texttt{#1}} \fi %%% warnings -\def\stx@warning#1#2{\@ifundefined{stx@#1@silent}{\warning{#2}}{}} +\def\stx@warning#1#2{\@ifundefined{stx@#1@silent}{\hva@warn{#2}}{}} \def\stx@silent#1{\def\csname stx@#1@silent\endcsname{}} %%% Do not warn about those %Not defined @@ -66,7 +66,7 @@ {{\@nostyle\@auxdowrite{\string\stx@exists\{#1\}}}% \gdef\csname stx@#1\endcsname{}\aname{#1}{#1}} {\@ifundefined{stx@#1@silent} -{\warning{Redefinition of non-terminal '#1'}#1} +{\hva@warn{Redefinition of non-terminal '#1'}#1} {\ref@anchor{#1}}}} %%%Change \@anchor and initial definition, for html only, of course! \ifhtml |