master updated (a7f94df7dd -> 2f8ce518df)

[Patrice Dumas]

pertusus pushed a change to branch master.

    from a7f94df7dd No omit_def_name_space in main def element
     new 5539e461b9 Document omit_def_name_space extra key
     new 2f8ce518df Handle txidefnamenospace/omit_def_name_space in 
info/plaintext


Summary of changes:
 ChangeLog                          |  8 ++++
 tp/Texinfo/Convert/Plaintext.pm    | 89 +++++++++++++++++++++++++++++---------
 tp/Texinfo/ParserNonXS.pm          |  4 ++
 tp/t/results/def/omit_def_space.pl |  4 +-
 4 files changed, 83 insertions(+), 22 deletions(-)