0.8.12.6:

[sbcl.git] / doc / manual / sbcl.texinfo

diff --git a/doc/manual/sbcl.texinfo b/doc/manual/sbcl.texinfo
index 8a765ee..f2146e5 100644 (file)
--- a/doc/manual/sbcl.texinfo
+++ b/doc/manual/sbcl.texinfo
@@ -5,10 +5,9 @@
 @c %**end of header
 
 
+@include variables.texinfo
 @set EDITION 0.1
-@set VERSION 0.8.9
-@set UPDATED 2 April 2004
-@set UPDATE-MONTH April 2004
+@settitle SBCL @value{VERSION} User Manual 
 
 @c for install-info
 @dircategory Software development