diff options
Diffstat (limited to 'ocamldoc/ocamldoc.hva')
| -rw-r--r-- | ocamldoc/ocamldoc.hva | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/ocamldoc/ocamldoc.hva b/ocamldoc/ocamldoc.hva deleted file mode 100644 index c78417f365..0000000000 --- a/ocamldoc/ocamldoc.hva +++ /dev/null @@ -1,10 +0,0 @@ -\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\sharp{#} - - |