Le 17 juin 2012 à 13:02, Stefano Lattarini a écrit : > The former was only needed to cater to 8+3 file systems (for which > we have dropped support anyway), and the latter was hardly used in > practice, it's extra "eye-candy" not worth complicating the code. > We now only accept and handle files with a '.texi' suffix.
Ack.
