ALT Linux repositórios
Group :: Desenvolvimento/ML
RPM: ocaml
Main Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
Patch: ocaml-3.12.1-alt-stdlib-pdf.patch
Download
Download
diff -ur ocaml-3.12.1.orig/ocamldoc/Makefile ocaml-3.12.1/ocamldoc/Makefile
--- ocaml-3.12.1.orig/ocamldoc/Makefile 2011-12-19 15:05:56.000000000 +0400
+++ ocaml-3.12.1/ocamldoc/Makefile 2011-12-19 16:23:51.093576008 +0400
@@ -329,6 +329,17 @@
../otherlibs/unix/unix.mli \
../otherlibs/str/str.mli
+stdlib.tex: ../stdlib/*.mli \
+ ../otherlibs/unix/unix.mli \
+ ../otherlibs/str/str.mli \
+ ../otherlibs/bigarray/bigarray.mli \
+ ../otherlibs/num/num.mli
+ $(OCAMLDOC_RUN) -latex $(INCLUDES) -t "OCaml library" -o $@ $^
+
+stdlib.pdf: stdlib.tex
+ pdflatex stdlib.tex
+ pdflatex stdlib.tex
+
# backup, clean and depend :
############################
diff -ur ocaml-3.12.1.orig/ocamldoc/ocamldoc.sty ocaml-3.12.1/ocamldoc/ocamldoc.sty
--- ocaml-3.12.1.orig/ocamldoc/ocamldoc.sty 2011-12-19 15:05:56.000000000 +0400
+++ ocaml-3.12.1/ocamldoc/ocamldoc.sty 2011-12-19 16:26:57.477588393 +0400
@@ -47,12 +47,28 @@
}
\newenvironment{ocamldocdescription}
-{\list{}{\rightmargin0pt \topsep0pt}\raggedright\item\relax}
+{\list{}{\rightmargin0pt \topsep0pt}\raggedright\item\noindent\relax\ignorespaces}
{\endlist\medskip}
\newenvironment{ocamldoccomment}
-{\list{}{\leftmargin 2\leftmargini \rightmargin0pt \topsep0pt}\raggedright\item\relax}
+{\list{}{\leftmargin 2\leftmargini \rightmargin0pt \topsep0pt}\raggedright\item\noindent\relax}
{\endlist}
+\let \ocamldocparagraph \paragraph
+\def \paragraph #1{\ocamldocparagraph {#1}\noindent}
+\let \ocamldocsubparagraph \subparagraph
+\def \subparagraph #1{\ocamldocsubparagraph {#1}\noindent}
+
\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}
+
\endinput