Fix TexInfo and compilation error
author James Lowe <pkx166h@gmail.com> Sat, 14 Nov 2015 16:51:15 +0000 (16:51 +0000) committer James Lowe <pkx166h@gmail.com> Thu, 19 Nov 2015 17:29:31 +0000 (17:29 +0000) commit c39f289e9ef7791d54d04b345869779563b523b