X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmanual%2Fbeyond-ansi.texinfo;h=f419ff51fba270e6146533fb552ab18a1a5c8ecc;hb=fc0f9907f434d087a0b57d782db66b6cb3f7d98b;hp=977e58341bbddd3a1536d12a6b58cff47f79a04a;hpb=54f3d099795a42cdbecfaddbd23d7fa741ccaf7d;p=sbcl.git

diff --git a/doc/manual/beyond-ansi.texinfo b/doc/manual/beyond-ansi.texinfo
index 977e583..f419ff5 100644
--- a/doc/manual/beyond-ansi.texinfo
+++ b/doc/manual/beyond-ansi.texinfo
@@ -808,7 +808,7 @@ different type of generator.
 @include fun-sb-ext-delete-directory.texinfo
 @include fun-sb-ext-get-time-of-day.texinfo
 @include macro-sb-ext-wait-for.texinfo
-@include fun-sb-ext-version-assert.texinfo
+@include fun-sb-ext-assert-version-gt=.texinfo
 
 @node Stale Extensions
 @comment  node-name,  next,  previous,  up