SBCL comes with a number of modules that are not part of the core
system. These are loaded via @code{(require :@var{modulename})}
(@pxref{Customization Hooks for Users}). This section contains
-documentation (or pointers to documentation) for the contributed
+documentation (or pointers to documentation) for some of the contributed
modules.
-@include contrib-doc-list.texi-temp
+@menu
+* sb-aclrepl::
+* sb-grovel::
+* sb-posix::
+* sb-md5::
+* sb-rotate-byte::
+* sb-cover::
+@end menu
+
+@page
+@include sb-aclrepl/sb-aclrepl.texinfo
+
+@page
+@include sb-grovel/sb-grovel.texinfo
+
+@page
+@include sb-posix/sb-posix.texinfo
+
+@page
+@include sb-md5/sb-md5.texinfo
+
+@page
+@include sb-rotate-byte/sb-rotate-byte.texinfo
+
+@page
+@include sb-cover/sb-cover.texinfo