From: Bruno Haible <bruno@clisp.org>
Date: Tue, 1 May 2007 22:35:50 +0000 (+0000)
Subject: Move to _Exit_C99.texi.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aef09544729506598d904e3b58bff7039e4dc01d;p=pspp

Move to _Exit_C99.texi.
---

diff --git a/doc/functions/_Exit.texi b/doc/functions/_Exit.texi
deleted file mode 100644
index 0b209cc2ee..0000000000
--- a/doc/functions/_Exit.texi
+++ /dev/null
@@ -1,18 +0,0 @@
-@node _Exit
-@section @code{_Exit}
-@findex _Exit
-
-POSIX specification: @url{http://www.opengroup.org/susv3xsh/_Exit.html}
-
-Gnulib module: ---
-
-Portability problems fixed by Gnulib:
-@itemize
-@end itemize
-
-Portability problems not fixed by Gnulib:
-@itemize
-@item
-This function is missing on some platforms:
-AIX 5.1, HP-UX 11, IRIX 6.5, OSF/1 5.1, Solaris 9, Cygwin, Interix 3.5, BeOS.
-@end itemize