linux bash shell scripting eval asked Jun 16 '12 at 16:13

formatting cross-referencing asked Aug 11 '12 at 0:15

texmf unix asked Aug 7 '12 at 22:50