You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"Reader-friendly-ness" can be improved if source-code excerpts, that include apostrophe-characters, can be freely copy-pasted without the need to manually translate characters.
The text was updated successfully, but these errors were encountered:
The LaTeX sources for the manual do not use the listings package, but some old TeX hacks very similar to verbatim and alltt styles. And, yes, these are proper ASCII single quote characters in the LaTeX sources.
For the PDF output, we really don't control what's going on between pdflatex and the PDF reader. However, for the Hevea-generated HTML output, one would hope that ASCII quotes can be generated. Luc, could you please have a look at this issue?
Original bug ID: 5497
Reporter: kosik
Status: closed (set by @xavierleroy on 2013-08-31T10:46:32Z)
Resolution: fixed
Priority: low
Severity: minor
Version: 3.12.1
Fixed in version: 3.13.0+dev
Category: documentation
Related to: #5261
Monitored by: @maranget @dbuenzli
Bug description
The program that renders HTML and PDF version of the Reference Manual projects ordinary apostrophe-character to (in case of HTML)
’
and in case of PDFs probably to some non-ASCII character.
As a result, when reader tries to copy-paste provided examples to Ocaml toplevel, e.g.
http://caml.inria.fr/pub/docs/manual-ocaml/manual003.html#toc5
he gets an error:
??a’;;
Error: Illegal character (\128)
"Reader-friendly-ness" can be improved if source-code excerpts, that include apostrophe-characters, can be freely copy-pasted without the need to manually translate characters.
The text was updated successfully, but these errors were encountered: