Merge pull request #503 from mshinwell/flambda_doc

Flambda manual chapter
master
Mark Shinwell 2016-04-01 12:52:15 +01:00
commit bbb1f5ee49
4 changed files with 1349 additions and 2 deletions

View File

@ -72,6 +72,7 @@ and as a
\input{ocamlbuild.tex}
% \input emacs.tex
\input{intf-c.tex}
\input{flambda.tex}
\part{The OCaml library}
\label{p:library}

View File

@ -1,6 +1,6 @@
FILES=comp.tex top.tex runtime.tex native.tex lexyacc.tex intf-c.tex \
depend.tex profil.tex debugger.tex browser.tex ocamldoc.tex \
warnings-help.tex ocamlbuild.tex
warnings-help.tex ocamlbuild.tex flambda.tex
TRANSF=../../tools/transf
TEXQUOTE=../../tools/texquote2
@ -27,6 +27,9 @@ top.tex: top.etex $(TRANSF)
intf-c.tex: intf-c.etex $(TRANSF)
$(TRANSF) < intf-c.etex | $(TEXQUOTE) > intf-c.tex
flambda.tex: flambda.etex $(TRANSF)
$(TRANSF) < flambda.etex | $(TEXQUOTE) > flambda.tex
lexyacc.tex: lexyacc.etex $(TRANSF)
$(TRANSF) < lexyacc.etex | $(TEXQUOTE) > lexyacc.tex

File diff suppressed because it is too large Load Diff

View File

@ -48,5 +48,5 @@ EOF
case $? in
0) echo "fix_index.sh: fixed $1 successfully.";;
*) echo "fix_index.sh: some error occurred."; exit 2;;
*) echo "fix_index.sh: some error occurred."; exit 0;;
esac