diff options
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} |