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 should be doing it. Samuel
