From: Bruno Haible <bruno@clisp.org>
Date: Tue, 1 May 2007 22:37:10 +0000 (+0000)
Subject: Rename _Exit.texi.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2d4fb1d912a7cd5d09c87a24f7a932d450ca231d;p=pspp

Rename _Exit.texi.
---

diff --git a/ChangeLog b/ChangeLog
index affcfee769..08e18f5f44 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2007-05-01  Bruno Haible  <bruno@clisp.org>
+
+	* doc/functions/_Exit_C99.texi: Renamed from doc/functions/_Exit.texi.
+	Reported by Eric Blake.
+	* doc/gnulib.texi (Function Substitutes): Update.
+
 2007-05-01  Bruno Haible  <bruno@clisp.org>
 
 	* doc/functions.texi: Remove file, now redundant through
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index 203b074141..ab537300ec 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -1,5 +1,5 @@
 \input texinfo   @c -*-texinfo-*-
-@comment $Id: gnulib.texi,v 1.39 2007-05-01 15:14:20 haible Exp $
+@comment $Id: gnulib.texi,v 1.40 2007-05-01 22:37:10 haible Exp $
 @comment %**start of header
 @setfilename gnulib.info
 @settitle GNU Gnulib
@@ -7,7 +7,7 @@
 @syncodeindex pg cp
 @comment %**end of header
 
-@set UPDATED $Date: 2007-05-01 15:14:20 $
+@set UPDATED $Date: 2007-05-01 22:37:10 $
 
 @copying
 This manual is for GNU Gnulib (updated @value{UPDATED}),
@@ -1723,7 +1723,7 @@ by Gnulib.
 @include functions/FD_ISSET.texi
 @include functions/FD_SET.texi
 @include functions/FD_ZERO.texi
-@include functions/_Exit.texi
+@include functions/_Exit_C99.texi
 @include functions/_exit.texi
 @include functions/_longjmp.texi
 @include functions/_setjmp.texi