doc/headers/stdint.texi: Discuss #include_next issue.

diff --git a/ChangeLog b/ChangeLog
index 3355515d286f0260764c227795dbc2ebe7cd30f6..9eb7f279746b8878691be7ffedf231b4297a10a2 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-09-07  Simon Josefsson  <simon@josefsson.org>
+
+       * doc/headers/stdint.texi: Discuss #include_next issue.
+
 2007-09-06  Paul Eggert  <eggert@cs.ucla.edu>
 
        * build-aux/bootstrap: Remove obsolete comment about wget --help.

diff --git a/doc/headers/stdint.texi b/doc/headers/stdint.texi
index c264692a4a55d4404d575edbd71126f0d982c3bf..c5fd40478ebf1d307700617f74243913f913e04c 100644 (file)
--- a/doc/headers/stdint.texi
+++ b/doc/headers/stdint.texi
@@ -29,3 +29,22 @@ types available on the system.
 @item
 Macros are used instead of typedefs.
 @end itemize
+
+The stdint.h module uses @code{#include_next}.  If you wish to install
+the generated stdint.h file under another name, typically in order to
+be able to use some of the types defined by stdint.h in your public
+header file, you could use the following Makefile.am-snippet:
+
+@example
+
+BUILT_SOURCES += idn-int.h
+DISTCLEANFILES += idn-int.h
+nodist_include_HEADERS += idn-int.h
+
+idn-int.h:
+       if test -n "$(STDINT_H)"; then \
+               sed -e s/include_next/include/ gl/stdint.h > idn-int.h; \
+       else \
+               echo '#include <stdint.h>' > idn-int.h; \
+       fi
+@end example