Closed sgraf812 closed 10 months ago
The CI script seems to have a touch doc/Guide2.pdf
, but that seems like a bit of a stretch https://github.com/kosmikus/lhs2tex/blob/e90efe8dba8b2ad04a68f7576c0e4a0102f948d5/.travis.yml#L124
I'm going to add a PDF version to the repo for now. Not ideal, but should fix the problem.
Consider:
That file is generated by
cabal build
, though inside thedist-newstyle
build directory:(The warning is inconsequential to this issue, but should probably be fixed as well.)
Install works if I comment out the mention of
extra-source-files: doc/Guide2.pdf
in the cabal file, but then the source dist does not havedoc/Guide2.pdf
(duh).I'm not sure yet how to fix that.