X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgnulib.texi;h=1e1ad40fa03e04e3c5b16c3fb783c61cce580ffd;hb=93d7550462f21202b69712f3d489399963965ddd;hp=d6e43d8ed8d11726172774b5604ddc801ee8dd58;hpb=aa93a59f7a386221797b809f18ee670edfbaff02;p=pspp

diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index d6e43d8ed8..1e1ad40fa0 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -550,7 +550,7 @@ used here.  It contains a convenient @code{ASSERT} macro.
 
 The body of the test, then, contains many @code{ASSERT} invocations.  When
 a test fails, the @code{ASSERT} macro prints the line number of the failing
-statement, thus giving you as a developer a idea which part of the test
+statement, thus giving you, the developer, an idea of which part of the test
 failed, even when you don't have access to the machine where the test failed
 and the reporting user cannot run a debugger.
 
@@ -6497,6 +6497,7 @@ This list of functions is sorted according to the header that declares them.
 * alloca-opt::
 * Safe Allocation Macros::
 * Compile-time Assertions::
+* Integer Properties::
 * String Functions in C Locale::
 * Quoting::
 * error and progname::
@@ -6527,6 +6528,8 @@ This list of functions is sorted according to the header that declares them.
 
 @include verify.texi
 
+@include intprops.texi
+
 @node String Functions in C Locale
 @section Character and String Functions in C Locale