From 1ed71fb2a5dbf1b1a44d25a8b9588c8e0f43144f Mon Sep 17 00:00:00 2001
From: Alex Richardson
Date: Mon, 28 Sep 2020 16:51:54 +0100
Subject: LaTeX: provide default implementations of the other saildoc commands

---
 src/latex.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src')

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
 
-- 
cgit v1.2.3