remove ocamlbuild from the manual

We leave a gutted-out chapter with a redirection to the github page
for stability of anchors and to inform users.
master
Gabriel Scherer 2016-02-12 10:56:31 -05:00
parent 627ef6a11d
commit e83607d8b6
6 changed files with 7 additions and 1079 deletions

View File

@ -20,10 +20,6 @@ dependencies. (See below for a typical "Makefile".)
Dependencies are generated both for compiling with the bytecode
compiler "ocamlc" and with the native-code compiler "ocamlopt".
The "ocamlbuild" compilation manager (see chapter~\ref{c:ocamlbuild})
provide a higher-level, more automated alternative to the combination
of "make" and "ocamldep".
\section{Options}
The following command-line options are recognized by "ocamldep".

File diff suppressed because it is too large Load Diff

View File

@ -106,8 +106,3 @@
\newenvironment{links}
{\setenvclass{itemize}{ftoc2}\setenvclass{li-itemize}{li-links}\itemize}
{\enditemize}
% Pour le chapitre ocamlbuild
\newcommand{\mathscr}[1]{{\mathcal{#1}}}
\newcommand{\ocb}{\texttt{ocamlbuild}\xspace}
\newcommand{\tags}{\texttt{\_tags}\xspace}

View File

@ -248,8 +248,3 @@
%%% Fin des hacks
\makeatother
% Pour le chapitre ocamlbuild
\newcommand{\mathscr}[1]{{\mathcal{#1}}}
\newcommand{\ocb}{\texttt{ocamlbuild}\xspace}
\newcommand{\tags}{\texttt{\_tags}\xspace}

View File

@ -111,10 +111,3 @@
\def\goodbreak{\ \\}
\def\@savedlistI{}
%%
% Pour le chapitre ocamlbuild
\newcommand{\mathscr}[1]{{\mathcal{#1}}}
\newcommand{\ocb}{\texttt{ocamlbuild}\xspace}
\newcommand{\tags}{\texttt{\_tags}\xspace}
\newcommand{\@cup}{|\_|}

View File

@ -607,5 +607,7 @@ More complex standalone OCaml programs are typically composed of
multiple source files, and can link with precompiled libraries.
Chapters~\ref{c:camlc} and~\ref{c:nativecomp} explain how to use the
batch compilers "ocamlc" and "ocamlopt". Recompilation of
multi-file OCaml projects can be automated using the "ocamlbuild"
compilation manager, documented in chapter~\ref{c:ocamlbuild}.
multi-file OCaml projects can be automated using third-party
build systems, such as the
\href{https://github.com/ocaml/ocamlbuild/}{ocamlbuild}
compilation manager.