2003-07-04 03:02:13 -07:00
|
|
|
(***********************************************************************)
|
2012-08-01 05:09:31 -07:00
|
|
|
(* *)
|
2003-07-04 03:02:13 -07:00
|
|
|
(* OCamldoc *)
|
|
|
|
(* *)
|
|
|
|
(* 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 Q Public License version 1.0. *)
|
|
|
|
(* *)
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
(** The content of the LaTeX style to generate when generating LaTeX code. *)
|
|
|
|
|
2011-07-20 02:17:07 -07:00
|
|
|
let content ="\
|
|
|
|
\n%% Support macros for LaTeX documentation generated by ocamldoc.\
|
|
|
|
\n%% This file is in the public domain; do what you want with it.\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\NeedsTeXFormat{LaTeX2e}\
|
|
|
|
\n\\ProvidesPackage{ocamldoc}\
|
|
|
|
\n [2001/12/04 v1.0 ocamldoc support]\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\newenvironment{ocamldoccode}{%\
|
|
|
|
\n \\bgroup\
|
|
|
|
\n \\leftskip\\@totalleftmargin\
|
|
|
|
\n \\rightskip\\z@skip\
|
|
|
|
\n \\parindent\\z@\
|
|
|
|
\n \\parfillskip\\@flushglue\
|
|
|
|
\n \\parskip\\z@skip\
|
|
|
|
\n %\\noindent\
|
|
|
|
\n \\@@par\\smallskip\
|
|
|
|
\n \\@tempswafalse\
|
|
|
|
\n \\def\\par{%\
|
|
|
|
\n \\if@tempswa\
|
|
|
|
\n \\leavevmode\\null\\@@par\\penalty\\interlinepenalty\
|
|
|
|
\n \\else\
|
|
|
|
\n \\@tempswatrue\
|
|
|
|
\n \\ifhmode\\@@par\\penalty\\interlinepenalty\\fi\
|
|
|
|
\n \\fi}\
|
|
|
|
\n \\obeylines\
|
|
|
|
\n \\verbatim@font\
|
|
|
|
\n \\let\\org@prime~%\
|
|
|
|
\n \\@noligs\
|
|
|
|
\n \\let\\org@dospecials\\dospecials\
|
|
|
|
\n \\g@remfrom@specials{\\\\}\
|
|
|
|
\n \\g@remfrom@specials{\\{}\
|
|
|
|
\n \\g@remfrom@specials{\\}}\
|
|
|
|
\n \\let\\do\\@makeother\
|
|
|
|
\n \\dospecials\
|
|
|
|
\n \\let\\dospecials\\org@dospecials\
|
|
|
|
\n \\frenchspacing\\@vobeyspaces\
|
|
|
|
\n \\everypar \\expandafter{\\the\\everypar \\unpenalty}}\
|
|
|
|
\n{\\egroup\\par}\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\def\\g@remfrom@specials#1{%\
|
|
|
|
\n \\def\\@new@specials{}\
|
|
|
|
\n \\def\\@remove##1{%\
|
|
|
|
\n \\ifx##1#1\\else\
|
|
|
|
\n \\g@addto@macro\\@new@specials{\\do ##1}\\fi}\
|
|
|
|
\n \\let\\do\\@remove\\dospecials\
|
|
|
|
\n \\let\\dospecials\\@new@specials\
|
|
|
|
\n }\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\newenvironment{ocamldocdescription}\
|
|
|
|
\n{\\list{}{\\rightmargin0pt \\topsep0pt}\\raggedright\\item\\noindent\\relax\\ignorespaces}\
|
|
|
|
\n{\\endlist\\medskip}\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\newenvironment{ocamldoccomment}\
|
|
|
|
\n{\\list{}{\\leftmargin 2\\leftmargini \\rightmargin0pt \\topsep0pt}\\raggedright\\item\\noindent\\relax}\
|
|
|
|
\n{\\endlist}\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\let \\ocamldocparagraph \\paragraph\
|
|
|
|
\n\\def \\paragraph #1{\\ocamldocparagraph {#1}\\noindent}\
|
|
|
|
\n\\let \\ocamldocsubparagraph \\subparagraph\
|
|
|
|
\n\\def \\subparagraph #1{\\ocamldocsubparagraph {#1}\\noindent}\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\let\\ocamldocvspace\\vspace\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\newenvironment{ocamldocindent}{\\list{}{}\\item\\relax}{\\endlist}\
|
|
|
|
\n\\newenvironment{ocamldocsigend}\
|
|
|
|
\n {\\noindent\\quad\\texttt{sig}\\ocamldocindent}\
|
|
|
|
\n {\\endocamldocindent\\vskip -\\lastskip\
|
|
|
|
\n \\noindent\\quad\\texttt{end}\\medskip}\
|
|
|
|
\n\\newenvironment{ocamldocobjectend}\
|
|
|
|
\n {\\noindent\\quad\\texttt{object}\\ocamldocindent}\
|
|
|
|
\n {\\endocamldocindent\\vskip -\\lastskip\
|
|
|
|
\n \\noindent\\quad\\texttt{end}\\medskip}\
|
2010-01-07 07:15:07 -08:00
|
|
|
\n\
|
2011-07-20 02:17:07 -07:00
|
|
|
\n\\endinput\
|
|
|
|
\n"
|