From 35f451cde08030637cb14c8c9bc5aa8538d20f6c Mon Sep 17 00:00:00 2001 From: Simon Josefsson Date: Fri, 7 Sep 2007 10:33:34 +0000 Subject: [PATCH] doc/headers/stdint.texi: Discuss #include_next issue. --- ChangeLog | 4 ++++ doc/headers/stdint.texi | 19 +++++++++++++++++++ 2 files changed, 23 insertions(+) diff --git a/ChangeLog b/ChangeLog index 3355515d28..9eb7f27974 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2007-09-07 Simon Josefsson + + * doc/headers/stdint.texi: Discuss #include_next issue. + 2007-09-06 Paul Eggert * 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 ' > idn-int.h; \ + fi +@end example -- 2.30.2