bor0 / gidti

Book: Introduction to Dependent Types with Idris
https://leanpub.com/gidti
Other
76 stars 4 forks source link

Hyphen encoding issue in acknowledgements #11

Closed nbloomf closed 6 years ago

nbloomf commented 6 years ago

The hyphen in the paragraph on Neil Mitchell is getting encoded as " " somehow in the preview PDF. I'm not sure what tools you're using to build the PDF, but if it's pandoc, I've had to fiddle with options to prevent "smart" conversions like this before. :) The fix might be as simple as using two hyphens instead of one.

screen shot 2018-09-22 at 2 29 16 pm
bor0 commented 6 years ago

@nbloomf does this appear on the Leanpub built edition? I believe they are using pandoc with some other tools.

nbloomf commented 6 years ago

I think so- I took that screenshot on the preview PDF from leanpub.

bor0 commented 6 years ago

I'll check it. Thanks!