# HG changeset patch
# User Simon Josefsson <simon@josefsson.org>
# Date 1189161214 0
# Node ID 1aba29f9c6fdd0f18d33c3b30f722b4599f560de
# Parent  aed85403a42155dacb8bbfc5dd0b9e0c53edbd4c
doc/headers/stdint.texi: Discuss #include_next issue.

diff --git a/ChangeLog b/ChangeLog
--- 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
--- a/doc/headers/stdint.texi
+++ b/doc/headers/stdint.texi
@@ -29,3 +29,22 @@
 @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