0.8.13.75: MORE MANUALS
[sbcl.git] / doc / manual / sbcl.texinfo
index 28cd36a..9216d7b 100644 (file)
@@ -4,7 +4,6 @@
 @settitle SBCL User Manual
 @c %**end of header
 
-
 @include variables.texinfo
 @set EDITION 0.1
 @settitle SBCL @value{VERSION} User Manual 
@@ -16,7 +15,6 @@
 @end direntry
 
 @copying
-
 @quotation
 This manual is part of the SBCL software system. See the
 @file{README} file for more information.
@@ -27,7 +25,6 @@ into the public domain. This manual is in the public domain and is
 provided with absolutely no warranty. See the @file{COPYING} and
 @file{CREDITS} files for more information.
 @end quotation
-
 @end copying
 
 @titlepage
@@ -37,7 +34,6 @@ provided with absolutely no warranty. See the @file{COPYING} and
 @subtitle @value{UPDATE-MONTH}
 @c @author The CMUCL and SBCL teams
 
-
 @c The following two commands start the copyright page.
 @page
 @vskip 0pt plus 1filll