Репозитории ALT
S: | 4.13.1-alt1 |
5.1: | 3.10.2-alt3.1 |
4.1: | 3.10.2-alt3 |
4.0: | 3.09.3-alt0.1 |
3.0: | 3.08.1-alt1 |
Группа :: Разработка/ML
Пакет: ocaml
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Патч: ocaml-3.12.1-alt-stdlib-pdf.patch
Скачать
Скачать
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