Re: suggestion: move "Gnulib module: --" blurb to misc notes

[Bruno Haible]

Thien-Thi Nguyen wrote:
> Below is a patch.

Thank you. I applied it, except for the additional paragraph break.


2008-03-06  Thien-Thi Nguyen  <address@hidden>

        * doc/gnulib-tool.texi (@nosuchmodulenote): New macro.
        (Header File Substitutes, Function Substitutes,
        Glibc Header File Substitutes, Glibc Function Substitutes): Use it.
        (Build robot for gnulib): Fix typo.

*** doc/gnulib.texi.orig        2008-03-06 18:36:06.000000000 +0100
--- doc/gnulib.texi     2008-03-06 18:27:46.000000000 +0100
***************
*** 65,70 ****
--- 65,82 ----
  * Index::
  @end menu
  
+ @c This is used at the beginning of four chapters.
+ @macro nosuchmodulenote{thing}
+ The notation ``Gnulib module: ---'' means that Gnulib does not provide a
+ module providing a substitute for the \thing\.  When the list
+ ``Portability problems not fixed by Gnulib'' is empty, such a module is
+ not needed: No portability problems are known.  Otherwise, it indicates
+ that such a module would be useful but is not available: No one so far
+ found this \thing\ important enough to contribute a substitute for it.
+ If you need this particular \thing\, you may write to
+ @code{<bug-gnulib at gnu dot org>}.
+ @end macro
+ 
  @node Introduction
  @chapter Introduction
  
***************
*** 386,392 ****
  gnulib git or cvs checkout (typically a Linux machine), use
  
  @example
! gnulib-tool --create-megatestdir --with-tests --dir=..."
  @end example
  
  Note: The created directory uses ca. 512 MB on disk.
--- 398,404 ----
  gnulib git or cvs checkout (typically a Linux machine), use
  
  @example
! gnulib-tool --create-megatestdir --with-tests --dir=...
  @end example
  
  Note: The created directory uses ca. 512 MB on disk.
***************
*** 461,466 ****
--- 473,480 ----
  substituted by Gnulib, which portability pitfalls are fixed by Gnulib, and
  which (known) portability problems are not worked around by Gnulib.
  
+ @nosuchmodulenote header file
+ 
  @menu
  * aio.h::
  * arpa/inet.h::
***************
*** 641,654 ****
  fixed by Gnulib, and which (known) portability problems are not worked around
  by Gnulib.
  
! The notation ``Gnulib module: ---'' means that Gnulib does not provide a
! module providing a substitute for the function.  When the list
! ``Portability problems not fixed by Gnulib'' is empty, such a module is
! not needed: No portability problems are known.  Otherwise, it indicates
! that such a module would be useful but is not available: No one so far
! found this function important enough to contribute a substitute for it.
! If you need this particular function, you may write to
! @code{<bug-gnulib at gnu dot org>}.
  
  @menu
  * FD_CLR::
--- 655,661 ----
  fixed by Gnulib, and which (known) portability problems are not worked around
  by Gnulib.
  
! @nosuchmodulenote function
  
  @menu
  * FD_CLR::
***************
*** 2898,2903 ****
--- 2905,2912 ----
  pitfalls are fixed by Gnulib, and which (known) portability problems are
  not worked around by Gnulib.
  
+ @nosuchmodulenote header file
+ 
  @menu
  * a.out.h::
  * aliases.h::
***************
*** 2970,2983 ****
  which portability pitfalls are fixed by Gnulib, and which (known)
  portability problems are not worked around by Gnulib.
  
! The notation ``Gnulib module: ---'' means that Gnulib does not provide a
! module providing a substitute for the function.  When the list
! ``Portability problems not fixed by Gnulib'' is empty, such a module is
! not needed: No portability problems are known.  Otherwise, it indicates
! that such a module would be useful but is not available: No one so far
! found this function important enough to contribute a substitute for it.
! If you need this particular function, you may write to
! @code{<bug-gnulib at gnu dot org>}.
  
  This list of functions is sorted according to the header that declares them.
  
--- 2979,2985 ----
  which portability pitfalls are fixed by Gnulib, and which (known)
  portability problems are not worked around by Gnulib.
  
! @nosuchmodulenote function
  
  This list of functions is sorted according to the header that declares them.