From 679a35567dbb0a467e99f19d3f513fac28317f26 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Fri, 23 Nov 2012 23:41:32 +0100 Subject: [PATCH] doc: Mention the `duplicate-case-datum' and `bad-case-datum' warnings. * doc/ref/api-evaluation.texi (Compilation): List the `duplicate-case-datum' and `bad-case-datum' warnings. --- doc/ref/api-evaluation.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/ref/api-evaluation.texi b/doc/ref/api-evaluation.texi index c471f643b..37e41e19a 100644 --- a/doc/ref/api-evaluation.texi +++ b/doc/ref/api-evaluation.texi @@ -661,7 +661,8 @@ name is as for @code{compile-file} (see below). Emit warnings of type @var{warning}; use @code{--warn=help} for a list of available warnings and their description. Currently recognized warnings include @code{unused-variable}, @code{unused-toplevel}, -@code{unbound-variable}, @code{arity-mismatch}, and @code{format}. +@code{unbound-variable}, @code{arity-mismatch}, @code{format}, +@code{duplicate-case-datum}, and @code{bad-case-datum}. @item -f @var{lang} @itemx --from=@var{lang}