document how to use 'static inline'

[Bruno Haible]

After reading the long section about how to use 'extern inline' with gnulib,
the question surely comes up: what about 'static inline'? Why does it not
have a gnulib module?

Let me answer this in the documentation.


2019-03-19  Bruno Haible  <address@hidden>

        doc: Document how to use 'static inline'.
        * doc/static-inline.texi: New file.
        * doc/gnulib.texi: Include it.

diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index 802e39b..ac3d570 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -6373,6 +6373,7 @@ to POSIX that it can be treated like any other Unix-like 
platform.
 * Safe Allocation Macros::
 * Compile-time Assertions::
 * Integer Properties::
+* static inline::
 * extern inline::
 * Closed standard fds::
 * Container data types::
@@ -6403,6 +6404,8 @@ to POSIX that it can be treated like any other Unix-like 
platform.
 
 @include intprops.texi
 
address@hidden static-inline.texi
+
 @include extern-inline.texi
 
 @include xstdopen.texi
diff --git a/doc/static-inline.texi b/doc/static-inline.texi
new file mode 100644
index 0000000..035c023
--- /dev/null
+++ b/doc/static-inline.texi
@@ -0,0 +1,20 @@
address@hidden GNU static-inline module documentation
+
address@hidden Copyright (C) 2019 Free Software Foundation, Inc.
+
address@hidden Permission is granted to copy, distribute and/or modify this 
document
address@hidden under the terms of the GNU Free Documentation License, Version 
1.3
address@hidden or any later version published by the Free Software Foundation;
address@hidden with no Invariant Sections, no Front-Cover Texts, and no 
Back-Cover
address@hidden Texts.  A copy of the license is included in the ``GNU Free
address@hidden Documentation License'' file as part of this distribution.
+
address@hidden static inline
address@hidden Static inline functions
+
address@hidden static inline
address@hidden inline
+
+In order to mark functions as @code{static inline}, the only
+prerequisite you need is an @code{AC_REQUIRE([AC_C_INLINE])}.
+No Gnulib module is needed.