Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Flambda manual chapter

master
Mark Shinwell 2016-02-15 15:36:29 +00:00
parent e5da5b0cf6
commit 3844a4c14b
4 changed files with 1349 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
manual/manual/allfiles.etex
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}

5
manual/manual/cmds/Makefile
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

1343
manual/manual/cmds/flambda.etex Normal file
View File

File diff suppressed because it is too large Load Diff

2
manual/tools/fix_index.sh
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