Re: A small change to gnumach.texi

2015-10-02 Thread Samuel Thibault
Joshua Branson, le Fri 02 Oct 2015 13:20:12 -0400, a écrit : > Also, when I first tried compiling it, texi2pdf gave me an error that > said that it could not find version.texi. version.texi gets generated when running make. You should actually not have to run texi2pdf by hand, the Makefiles

bug-hurd mailing list (was: Shortest path to significant improvement in hardware support)

2015-10-02 Thread Thomas Schwinge
Hi! On Wed, 30 Sep 2015 22:27:04 +0200, Robert Millan wrote: > I suspect the > list server isn't forwarding neither your mails nor mine: > >1. My previous mail doesn't show up in the list archive: > > https://lists.gnu.org/archive/html/bug-hurd/2015-09/index.html > >2. I received

A small change to gnumach.texi

2015-10-02 Thread 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