diff options
| author | Robert Norton | 2018-05-02 10:31:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-09 16:58:19 +0100 |
| commit | 9efeea3c2179a182feb07c6b4e640674f149331f (patch) | |
| tree | ad927b14ed07d095cef1bf9f26e2173a3126ab41 /src | |
| parent | 0d56f6be9e2e437c570da05b1c8cdc25eb24912c (diff) | |
Add language=sail option in listings command for latex output. This helps with documents containing listings in multiple languages.
Diffstat (limited to 'src')
| -rw-r--r-- | src/latex.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/latex.ml b/src/latex.ml index 01cf55b2..f16dddd8 100644 --- a/src/latex.ml +++ b/src/latex.ml @@ -134,7 +134,7 @@ let rec latex_command ?prefix:(prefix="") ?label:(label=None) dir cmd no_loc ((l let oc = open_out (Filename.concat dir (cmd ^ "_sail.tex")) in output_string oc (Pretty_print_sail.to_string (latex_loc no_loc l)); close_out oc; - string (Printf.sprintf "\\newcommand{\\%s}{%s " cmd labelling) ^^ (docstring l) ^^ string (Printf.sprintf "\\lstinputlisting{%s/%s_sail.tex}}" dir cmd) + string (Printf.sprintf "\\newcommand{\\%s}{%s " cmd labelling) ^^ (docstring l) ^^ string (Printf.sprintf "\\lstinputlisting[language=sail]{%s/%s_sail.tex}}" dir cmd) end let latex_command_id ?prefix:(prefix="") dir id no_loc annot = |