29 Mar
2010
29 Mar
'10
2:50 a.m.
After the gmp upgrade, I had to upgrade this package too. It failed to find polycode.fmt when processing .lhs files: lhs2TeX: user error (File `polycode.fmt' not found in search path: . /home/wh5a/lhs2tex-1.15 /home/wh5a/lhs2tex /home/wh5a/lhs2TeX /home/wh5a/.lhs2tex-1.15 /home/wh5a/.lhs2tex /home/wh5a/.lhs2TeX /usr/share/lhs2tex-1.15 /usr/local/share/lhs2tex-1.15 /usr/local/lib/lhs2tex-1.15 /usr/lib/lhs2tex-1.15 /usr/local/share/lhs2tex /usr/local/lib/lhs2tex /usr/share/lhs2tex /usr/lib/lhs2tex /usr/local/share/lhs2TeX /usr/local/lib/lhs2TeX /usr/share/lhs2TeX /usr/lib/lhs2TeX ) However, I do have /usr/share/lhs2tex-1.15/polycode.fmt. Any ideas?