fix spacing issue in @verbatiminclude

[Werner LEMBERG]

[texinfoversion{2019-01-03-15}]

The following input file `zzz.texi'

  \input texinfo
  @verbatiminclude yyy.txt
  @bye

with file `yyy.txt'

  : a
  | b

produces the attached image, showing that the space factor values
aren't correctly set.  The attached patch fixes this.  However, I'm
not sure whether this is the right fix, given that @verbatim doesn't
show the faulty behaviour...


    Werner

diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index 48d532bc6..48d9f6a5b 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -7515,7 +7515,7 @@ end
   \nonfillstart
   \tt % easiest (and conventionally used) font for verbatim
   % The \leavevmode here is for blank lines.  Otherwise, we would
-  % never \starttabox and the \egroup would end verbatim mode.
+  % never \starttabbox and the \egroup would end verbatim mode.
   \def\par{\leavevmode\egroup\box\verbbox\endgraf}%
   \tabexpand
   \setupmarkupstyle{verbatim}%
@@ -7524,6 +7524,7 @@ end
   % make each space count.
   % Must do in this order:
   \obeylines \uncatcodespecials \sepspaces
+  \plainfrenchspacing
   \everypar{\starttabbox}%
 }