Documentation: Fix warnings in html

@html inserts verbatim HTML code, @ifhtml checks for html output, so we need
@ifhtml to make texi2html / makeinfo interpret the contents of the warning, too.

diff --git a/Documentation/user/macros.itexi b/Documentation/user/macros.itexi
index c13b839542105bba7acf30d44aa3f612ef03c756..3fa118cdcabe5623a1364d8f934a2373fcbe8f06 100644 (file)
--- a/Documentation/user/macros.itexi
+++ b/Documentation/user/macros.itexi
@@ -27,11 +27,11 @@
 @end macro
 
 @macro warning{TEXT}
-@html
+@ifhtml
 @cartouche
 @b{Note:} \TEXT\
 @end cartouche
-@end html
+@end ifhtml
 @ifnothtml
 @quotation
 @quotation