A small change to gnumach.texi

[Joshua Branson]

Hello all,

        I've copied the history section of mach from the wiki 
(https://www.gnu.org/software/hurd/microkernel/mach/history.html) into 
the gnumach/doc/mach.texi).  My diff seems to be adding some changes 
that I did not intentionally make.  I don't think that it changed the 
manual in any significant way, because I compiled my changes into 
mach.pdf without any issues.  BUT, if there is something wrong with my 
diff, I can generate it again.

      Also, when I first tried compiling it, texi2pdf gave me an error 
that said that it could not find version.texi.  That's why the diff 
shows me removing it and adding it in again.  Also where is 
version.texi?  Can I put it in the same directory as mach.texi?

    Thanks,

Joshua

patch.diff
Description: Text Data