diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-02-15 12:24:20 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-02-15 12:24:20 +0000 |
| commit | 792fa3c54fb26123e1e18febfc41cd74c540af40 (patch) | |
| tree | 6be6085a211645a34a425797817280c5ffd4bd9a /manual/styles | |
| parent | 5e8e78b98423e4ec3fc8049c3391418300efefce (diff) | |
| download | ocaml-792fa3c54fb26123e1e18febfc41cd74c540af40.tar.gz | |
PR#5497: source code copy-paste problem with quote and backquote characters
git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@12157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'manual/styles')
| -rw-r--r-- | manual/styles/caml-sl.sty | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/manual/styles/caml-sl.sty b/manual/styles/caml-sl.sty index a123db8304..c4061e4a4d 100644 --- a/manual/styles/caml-sl.sty +++ b/manual/styles/caml-sl.sty @@ -14,10 +14,9 @@ \def \@@par@inunderline #1{\@eunderline\@oldpar\?\@bunderline} \def \@@@parinunderline {\@eunderline\@oldpar\@bunderline} \def\@eunderline{\egroup\underline{\box0}} +\def\@camlnoop{} -{\catcode`'=\active - \catcode``=\active - \global\def\caml{ +\def\caml{ \bgroup \flushleft \parindent 0pt @@ -35,11 +34,7 @@ \let\<\@bunderline \let\>\@eunderline \let\\\@camlbackslash - \catcode39=\active % 39 = ' - \chardef'=13 - \catcode96=\active % 96 = ` - \chardef`=18 - } + \let\-\@camlnoop } \def\endcaml{ |