From 62248928b281e547be5df7dca68fc73998a70f51 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 5 Apr 2013 17:34:06 +0200 Subject: [PATCH] small changes --- .ocamlinit | 3 ++- Makefile | 5 ++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/.ocamlinit b/.ocamlinit index fd2fad85..8719260a 100644 --- a/.ocamlinit +++ b/.ocamlinit @@ -1,4 +1,3 @@ -(* vim:syntax=ocaml: *) #use "topfind";; #thread #directory "_build/";; @@ -7,3 +6,5 @@ #require "threads";; #load "thread_containers.cma";; open Gen.Infix;; +(* vim:syntax=ocaml: +*) diff --git a/Makefile b/Makefile index 77949dbd..595f2e0e 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ TARGET_DOC = containers.docdir/index.html EXAMPLES = examples/mem_size.native examples/collatz.native examples/crawl.native OPTIONS = -use-ocamlfind -all: lib lib_thread +all: lib lib_thread doc lib: ocamlbuild $(OPTIONS) $(TARGETS_LIB) $(TARGET_DOC) @@ -16,6 +16,9 @@ lib: lib_thread: ocamlbuild $(OPTIONS) $(TARGETS_LIB) $(TARGET_THREAD_LIB) $(TARGET_DOC) +doc: + ocamlbuild $(OPTIONS) $(TARGET_DOC) + examples: all ocamlbuild $(OPTIONS) -I . $(EXAMPLES)