From: Simon Josefsson <simon@josefsson.org>
Date: Fri, 7 Sep 2007 10:33:34 +0000 (+0000)
Subject: doc/headers/stdint.texi: Discuss #include_next issue.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=35f451cde08030637cb14c8c9bc5aa8538d20f6c;p=pspp

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

diff --git a/ChangeLog b/ChangeLog
index 3355515d28..9eb7f27974 100644
--- 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 c264692a4a..c5fd40478e 100644
--- 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