diff options
| author | Alex Richardson | 2020-09-28 16:51:54 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-09-28 16:51:54 +0100 |
| commit | 1ed71fb2a5dbf1b1a44d25a8b9588c8e0f43144f (patch) | |
| tree | bd79b4fac09ad63497dfd36799bcafddff1a54be /src | |
| parent | 2e2bfac6d15f27db67b20c40ea73e4ebd9f0c4b4 (diff) | |
LaTeX: provide default implementations of the other saildoc commands
Diffstat (limited to 'src')
| -rw-r--r-- | src/latex.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/latex.ml b/src/latex.ml index be3e8748..96a74e06 100644 --- a/src/latex.ml +++ b/src/latex.ml @@ -440,7 +440,12 @@ let tdef_id = function let defs (Defs defs) = reset_state state; - let preamble = string "\\providecommand\\saildoclabelled[2]{\\phantomsection\\label{#1}#2}" ^^ twice hardline in + let preamble = string ("\\providecommand\\saildoclabelled[2]{\\phantomsection\\label{#1}#2}\n" ^ + "\\providecommand\\saildocval[2]{#1 #2}\n" ^ + "\\providecommand\\saildocfcl[2]{#1 #2}\n" ^ + "\\providecommand\\saildoctype[2]{#1 #2}\n" ^ + "\\providecommand\\saildocfn[2]{#1 #2}\n" ^ + "\\providecommand\\saildocoverload[2]{#1 #2}\n\n") in let overload_counter = ref 0 in |