/usr/lib/ocaml/ocamldoc/ocamldoc.hva is in ocaml-nox 4.05.0-10ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 | %**************************************************************************
%* *
%* OCaml *
%* *
%* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *
%* *
%* Copyright 2001 Institut National de Recherche en Informatique et *
%* en Automatique. *
%* *
%* All rights reserved. This file is distributed under the terms of *
%* the GNU Lesser General Public License version 2.1, with the *
%* special exception on linking described in the file LICENSE. *
%* *
%**************************************************************************
\usepackage{alltt}
\newenvironment{ocamldoccode}{\begin{alltt}}{\end{alltt}}
\newenvironment{ocamldocdescription}{\begin{quote}}{\end{quote}}
\newenvironment{ocamldoccomment}{\begin{quote}}{\end{quote}}
\newcommand\textbar{|}
\newcommand\textbackslash{\begin{rawhtml}\\end{rawhtml}}
\newcommand\textasciicircum{\^{}}
\newcommand\hash{#}
\let\ocamldocvspace\vspace
\newenvironment{ocamldocindent}{\list{}{}\item\relax}{\endlist}
\newenvironment{ocamldocsigend}
{\noindent\quad\texttt{sig}\ocamldocindent}
{\endocamldocindent\vskip -\lastskip
\noindent\quad\texttt{end}\medskip}
\newenvironment{ocamldocobjectend}
{\noindent\quad\texttt{object}\ocamldocindent}
{\endocamldocindent\vskip -\lastskip
\noindent\quad\texttt{end}\medskip}
|