summaryrefslogtreecommitdiff
path: root/api_docgen
diff options
context:
space:
mode:
authoroctachron <octa@polychoron.fr>2020-12-02 09:44:44 +0100
committeroctachron <octa@polychoron.fr>2020-12-03 18:22:07 +0100
commitca621bad57e06937031ca2d78b045a1bd2ffedae (patch)
treefb2f12bee10c3b5bae05a093071a399eed38e4c6 /api_docgen
parent3df279bbb159d1d8397db24e138fb1bd36ffef32 (diff)
downloadocaml-ca621bad57e06937031ca2d78b045a1bd2ffedae.tar.gz
documentation: update github action
Diffstat (limited to 'api_docgen')
-rw-r--r--api_docgen/alldoc.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/api_docgen/alldoc.tex b/api_docgen/alldoc.tex
index 0092b53203..f8b73d947b 100644
--- a/api_docgen/alldoc.tex
+++ b/api_docgen/alldoc.tex
@@ -5,7 +5,7 @@
\usepackage{lmodern}
\usepackage[T1]{fontenc}
\usepackage[strings]{underscore}
-
+\usepackage{textcomp}
\usepackage{ocamldoc}
\newcommand{\docitem}[2]{\input{#2}}
@@ -13,7 +13,7 @@
\chapter{Stdlib}
\docitem{libref}{Stdlib.tex}
\input{stdlib_input}
-\docitem{libref}{OCaml_operators.tex}
+\docitem{libref}{Ocaml_operators.tex}
\chapter{Dynlink}
\docitem{libref}{Dynlink.tex}
\chapter{Str}