I installed the patch.
/Simon
Simon Josefsson <[EMAIL PROTECTED]> writes:
> How about this patch? I'm not sure where a good place to add this is,
> or whether it should use a @subsection or something. But the important
> thing is to say something similar somewhere.
>
> /Simon
>
> --- stdint.texi 05 Jun 2007 18:57:54 +0200 1.4
> +++ stdint.texi 31 Aug 2007 14:32:20 +0200
> @@ -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:
> +
> [EMAIL PROTECTED]
> +
> +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
> [EMAIL PROTECTED] example
