Fix @warning{} box.

diff --git a/Documentation/user/macros.itexi b/Documentation/user/macros.itexi
index 4ef3123bfdbed271a2cd015e2b581f5ef4a555c9..c13b839542105bba7acf30d44aa3f612ef03c756 100644 (file)
--- a/Documentation/user/macros.itexi
+++ b/Documentation/user/macros.itexi
@@ -6,8 +6,9 @@
     version that you are working on.  See TRANSLATION for details.
 @end ignore
 
+@c @value{version}
 @macro version
-@value{version}
+2.11.41
 @end macro
 
 @c   ***** Displaying text *****
@@ -26,6 +27,12 @@
 @end macro
 
 @macro warning{TEXT}
+@html
+@cartouche
+@b{Note:} \TEXT\
+@end cartouche
+@end html
+@ifnothtml
 @quotation
 @quotation
 @cartouche
@@ -33,6 +40,7 @@
 @end cartouche
 @end quotation
 @end quotation
+@end ifnothtml
 @end macro
 
 @ifnotinfo