diff --git a/doc/asdf.texinfo b/doc/asdf.texinfo
index f83a1efc6187bbd1ab7d655b0b6f1f3c5a6a92b7..4c9176eb2f636e2407d91cc42dc831aaae9bcd5d 100644
--- a/doc/asdf.texinfo
+++ b/doc/asdf.texinfo
@@ -65,7 +65,7 @@ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
 @titlepage
 @title ASDF: Another System Definition Facility
-@subtitle Manual for Version @value{3.1.5}
+@subtitle Manual for Version 3.1.5
 @c The following two commands start the copyright page.
 @page
 @vskip 0pt plus 1filll
@@ -82,7 +82,7 @@ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 @node Top, Introduction, (dir), (dir)
 @top ASDF: Another System Definition Facility
 @ifnottex
-Manual for Version @value{3.1.5}
+Manual for Version 3.1.5
 @end ifnottex
 
 
diff --git a/tools/version.lisp b/tools/version.lisp
index 215b0bc7383af398ab535473ffcef26915a98fc0..a7177a8854372cc9fb09edea6455b6abc2a6af2f 100644
--- a/tools/version.lisp
+++ b/tools/version.lisp
@@ -46,7 +46,7 @@
     ("asdf.asd" "  :version \"" "\" ;; to be automatically updated by make bump-version")
     ("header.lisp" "This is ASDF " ": Another System Definition Facility.")
     ("upgrade.lisp" "   (asdf-version \"" "\")")
-    ("doc/asdf.texinfo" "Manual for Version @value{" "}"))) ;; NB: two occurrences with this pattern.
+    ("doc/asdf.texinfo" "Manual for Version " ""))) ;; NB: two occurrences with this pattern.
 
 
 (defparameter *old-version* :default)