Restore version macro in English docs

This reverts commit 4b697fc801b008995b9bc9ed19e8631b7b695cea.

diff --git a/Documentation/user/macros.itexi b/Documentation/user/macros.itexi
index b0dafefd956fec1f0b9e23fb6598f69758ddaf93..40905c233310e60ea0179bc7fa7425bb3b19bbd0 100644 (file)
--- a/Documentation/user/macros.itexi
+++ b/Documentation/user/macros.itexi
@@ -7,8 +7,7 @@
 @end ignore
 
 @macro version
-@c @value{version}
-2.11.41
+@value{version}
 @end macro
 
 @c   ***** Displaying text *****