diff --git a/doc/ref/posix.texi b/doc/ref/posix.texi
index 84cad1cad..a44544aab 100644
--- a/doc/ref/posix.texi
+++ b/doc/ref/posix.texi
@@ -2754,22 +2754,6 @@ only be used by the superuser.  The return value is not
 specified.
 @end deffn
 
-@c FIXME::martin: Not in libguile!
-@deffn {Scheme Procedure} software-type
-Return a symbol describing the current platform's operating system.
-This may be one of @samp{AIX}, @samp{VMS}, @samp{UNIX},
-@samp{COHERENT}, @samp{WINDOWS}, @samp{MS-DOS}, @samp{OS/2},
-@samp{THINKC}, @samp{AMIGA}, @samp{ATARIST}, @samp{MACH}, or
-@samp{ACORN}.
-
-Note that most varieties of Unix are considered to be simply @samp{UNIX}.
-That is because when a program depends on features that are not present
-on every operating system, it is usually better to test for the presence
-or absence of that specific feature.  The return value of
-@code{software-type} should only be used for this purpose when there is
-no other easy or unambiguous way of detecting such features.
-@end deffn
-
 @node Locales
 @subsection Locales