diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-12-20 15:12:48 +0000 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-12-20 15:12:48 +0000 |
commit | 47dd6c55bfd20c9a4353bc37af543a37c405b169 (patch) | |
tree | 6826fd7fa28758abaeae8cffd0d8c964e59a12b5 /api_docgen | |
parent | 52b8cce7ae284a78d3be25fa9e3067e25e37ad60 (diff) | |
parent | 2250fd8a2218796c07b0a25f184cdc682e4695ba (diff) | |
download | ocaml-47dd6c55bfd20c9a4353bc37af543a37c405b169.tar.gz |
Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_pr
Diffstat (limited to 'api_docgen')
-rw-r--r-- | api_docgen/alldoc.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/api_docgen/alldoc.tex b/api_docgen/alldoc.tex index ce782e7285..2027c3663b 100644 --- a/api_docgen/alldoc.tex +++ b/api_docgen/alldoc.tex @@ -1,10 +1,8 @@ \documentclass{book} - \usepackage[colorlinks=true,breaklinks=true]{hyperref} \usepackage{color} \usepackage{lmodern} \usepackage[T1]{fontenc} -\usepackage[strings,nohyphen]{underscore} \input{ifocamldoc} \ifocamldoc \usepackage{ocamldoc} @@ -67,6 +65,8 @@ \else \newcommand{\docitem}[2]{\input{#1/#2}} \fi +\usepackage[english]{babel} +\usepackage[strings,nohyphen]{underscore} \begin{document} \chapter{Stdlib} |