diff options
| author | letouzey | 2009-03-20 01:22:58 +0000 |
|---|---|---|
| committer | letouzey | 2009-03-20 01:22:58 +0000 |
| commit | 7d220f8b61649646692983872626d6a8042446a9 (patch) | |
| tree | fefceb2c59cf155c55fffa25ad08bec629de523e /dev/ocamlweb-doc | |
| parent | ad1fea78e3c23c903b2256d614756012d5f05d87 (diff) | |
Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/ocamlweb-doc')
| -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 f2c625ed4b..8ad226da6c 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/interface -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) |