X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmanual%2Fbeyond-ansi.texinfo;h=c8f3abb8e83e6fe713858ef1a2d85420f63c4aa8;hb=c89987c71e6583e2063710cce304204d6f862412;hp=084fe322261ad61d8c8d22e753f54d1333a5d19b;hpb=78867137cd2b9e689fd07640d60e4cf3942bf719;p=sbcl.git

diff --git a/doc/manual/beyond-ansi.texinfo b/doc/manual/beyond-ansi.texinfo
index 084fe32..c8f3abb 100644
--- a/doc/manual/beyond-ansi.texinfo
+++ b/doc/manual/beyond-ansi.texinfo
@@ -294,11 +294,15 @@ The UNIX command line can be read from the variable
 @code{sb-ext:*posix-argv*}. The UNIX environment can be queried with
 the @code{sb-ext:posix-getenv} function.
 
+@include fun-sb-ext-posix-getenv.texinfo
+
 The SBCL system can be terminated with @code{sb-ext:quit}, (but see
-notes above about threads and sessions) optionally returning a
-specified numeric value to the calling Unix process. The normal Unix
-idiom of terminating on end of file on input is also supported.
+notes in @ref{Threading} about the interaction between this feature and
+sessions) optionally returning a specified numeric value to the
+calling Unix process. The normal Unix idiom of terminating on end of
+file on input is also supported.
 
+@include fun-sb-ext-quit.texinfo
 
 @node  Customization Hooks for Users, Tools To Help Developers, Support For Unix, Extensions
 @comment  node-name,  next,  previous,  up
@@ -384,10 +388,14 @@ addresses, a precondition for using copy-on-write to share code
 between multiple Lisp processes. it is less important with modern
 generational garbage collectors.
 
-@code{sb-ext:truly-the} declaration declares the type of the result of
-the operations, producing its argument; the declaration is not
+@include fun-sb-ext-purify.texinfo
+
+@code{sb-ext:truly-the} special form declares the type of the result
+of the operations, producing its argument; the declaration is not
 checked. In short: don't use it.
 
+@include special-operator-sb-ext-truly-the.texinfo
+
 The @code{sb-ext:freeze-type} declaration declares that a
 type will never change, which can make type testing
 (@code{typep}, etc.) more efficient for structure types.