master updated (1a02255329 -> 2b30bee205)

[Gavin D. Smith]

gavin pushed a change to branch master.

    from 1a02255329 Remove extra space for @nodedescriptionblock
     new 820df7e214 * doc/texinfo.texi: Start removing @menu throughout.
     new 5023b33786 * doc/texinfo.texi: Start removing @menu throughout.
     new a2374f2d1c * doc/texinfo.texi: Start removing @menu throughout.
     new 77941535a8 * doc/texinfo.texi: Start removing @menu throughout.
     new 3933d1bbc6 * doc/texinfo.texi: Start removing @menu throughout.
     new 403ec6d740 * doc/texinfo.texi: Start removing @menu throughout.
     new 2b30bee205 * tp/Texinfo/Convert/Plaintext.pm (_convert) <node 
description>: Use the same code for @nodedescription and @nodedescriptionblock 
for adding extra spaces if needed to separate the description. Use the previous 
converter for adding the spaces and add two spaces rather than one.  Suggestion 
from Patrice.


Summary of changes:
 ChangeLog                                          |  16 +-
 doc/texinfo.texi                                   | 203 +++++++++------------
 tp/Texinfo/Convert/Plaintext.pm                    |  19 +-
 tp/t/results/menu/nodedescription_descriptions.pl  |   6 +-
 .../menu/nodedescriptionblock_descriptions.pl      |   4 +-
 5 files changed, 110 insertions(+), 138 deletions(-)