diff --git a/ChangeLog b/ChangeLog
index 15695bd6..4d5f045b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2002-03-13  Akim Demaille  <akim@epita.fr>
+
+	* doc/autoconf.texi (Header Portability): New.
+	Add information about stdint.h and inttypes.h from Paul Eggert.
+
 2002-03-13  Akim Demaille  <akim@epita.fr>
 
 	* doc/autoconf.texi (Limitations of Usual Tools): Some about `cp
diff --git a/configure b/configure
index 0a6c3ae0..e0871087 100755
--- a/configure
+++ b/configure
@@ -8,7 +8,6 @@
 # Free Software Foundation, Inc.
 # This configure script is free software; the Free Software Foundation
 # gives unlimited permission to copy, distribute and modify it.
-
 if expr a : '\(a\)' >/dev/null 2>&1; then
   as_expr=expr
 else
@@ -16,6 +15,7 @@ else
 fi
 
 
+
 ## --------------------- ##
 ## M4sh Initialization.  ##
 ## --------------------- ##
diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index 50d2fddc..c9f81e22 100644
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -254,6 +254,7 @@ Library Functions
 
 Header Files
 
+* Header Portability::          Collected knowledge on common headers
 * Particular Headers::          Special handling to find certain headers
 * Generic Headers::             How to find other headers
 
@@ -413,7 +414,7 @@ Upgrading From Version 2.13
 * Changed Quotation::           Broken code which used to work
 * New Macros::                  Interaction with foreign macros
 * Hosts and Cross-Compilation::  Bugward compatibility kludges
-* AC_LIBOBJ vs. LIBOBJS::
+* AC_LIBOBJ vs. LIBOBJS::       LIBOBJS is a forbidden token
 
 Generating Test Suites with Autotest
 
@@ -4002,10 +4003,30 @@ and you don't need to check for any special properties of
 it, then you can use one of the general header-file check macros.
 
 @menu
+* Header Portability::          Collected knowledge on common headers
 * Particular Headers::          Special handling to find certain headers
 * Generic Headers::             How to find other headers
 @end menu
 
+@node Header Portability
+@subsection Portability of Headers
+
+This section tries to collect knowledge about common headers, and the
+problem they cause.  By definition, this list will always require
+additions.  Please help us keeping it as complete as possible.
+
+@table @asis
+@item @file{inttypes.h} vs. @file{stdint.h}
+Paul Eggert notes that: ISO C 1999 says that @file{inttypes.h} includes
+@file{stdint.h}, so there's no need to include @file{stdint.h}
+separately in a standard environment.  Many implementations have
+@file{inttypes.h} but not @file{stdint.h} (e.g. Solaris 7), but I don't
+know of any implementation that has @file{stdint.h} but not
+@file{inttypes.h}.  Nor do I know of any free software that includes
+@file{stdint.h}; @file{stdint.h} seems to be a creation of the committee.
+@end table
+
+
 @node Particular Headers
 @subsection Particular Header Checks