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 /test/latex | |
| parent | 2e2bfac6d15f27db67b20c40ea73e4ebd9f0c4b4 (diff) | |
LaTeX: provide default implementations of the other saildoc commands
Diffstat (limited to 'test/latex')
| -rw-r--r-- | test/latex/candperm.commands.tex.exp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/latex/candperm.commands.tex.exp b/test/latex/candperm.commands.tex.exp index 9c8ca6ff..0ba8e659 100644 --- a/test/latex/candperm.commands.tex.exp +++ b/test/latex/candperm.commands.tex.exp @@ -1,4 +1,9 @@ \providecommand\saildoclabelled[2]{\phantomsection\label{#1}#2} +\providecommand\saildocval[2]{#1 #2} +\providecommand\saildocfcl[2]{#1 #2} +\providecommand\saildoctype[2]{#1 #2} +\providecommand\saildocfn[2]{#1 #2} +\providecommand\saildocoverload[2]{#1 #2} \newcommand{\sailtypeast}{\saildoclabelled{sailtypezast}{\saildoctype{}{\lstinputlisting[language=sail]{out/typezast6bb070d12e82e4887160cdfd016230c8.tex}}}} |