diff options
author | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:46:51 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:46:51 +0200 |
commit | 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 (patch) | |
tree | 631ad791a7685edafeb1fb2e8faeedc8379318ae /dev/ocamlweb-doc/Makefile | |
parent | da178a880e3ace820b41d38b191d3785b82991f5 (diff) |
Imported Upstream snapshot 8.3~beta0+13298
Diffstat (limited to 'dev/ocamlweb-doc/Makefile')
-rw-r--r-- | dev/ocamlweb-doc/Makefile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/dev/ocamlweb-doc/Makefile b/dev/ocamlweb-doc/Makefile index f2c625ed..3189d7c5 100644 --- a/dev/ocamlweb-doc/Makefile +++ b/dev/ocamlweb-doc/Makefile @@ -4,14 +4,14 @@ LOCALINCLUDES=-I ../../config -I ../../tools -I ../../tools/coqdoc \ -I ../../scripts -I ../../lib -I ../../kernel -I ../../kernel/byterun -I ../../library \ -I ../../proofs -I ../../tactics -I ../../pretyping \ -I ../../interp -I ../../toplevel -I ../../parsing -I ../../ide/utils -I ../../ide \ - -I ../../contrib/omega -I ../../contrib/romega \ - -I ../../contrib/ring -I ../../contrib/dp -I ../../contrib/setoid_ring \ - -I ../../contrib/xml -I ../../contrib/extraction \ - -I ../../contrib/interface -I ../../contrib/fourier \ - -I ../../contrib/cc \ - -I ../../contrib/funind -I ../../contrib/firstorder \ - -I ../../contrib/field -I ../../contrib/subtac -I ../../contrib/rtauto \ - -I ../../contrib/recdef + -I ../../plugins/omega -I ../../plugins/romega \ + -I ../../plugins/ring -I ../../plugins/dp -I ../../plugins/setoid_ring \ + -I ../../plugins/xml -I ../../plugins/extraction \ + -I ../../plugins/fourier \ + -I ../../plugins/cc \ + -I ../../plugins/funind -I ../../plugins/firstorder \ + -I ../../plugins/field -I ../../plugins/subtac -I ../../plugins/rtauto \ + -I ../../plugins/recdef MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB) |