diff options
| author | letouzey | 2012-05-29 11:08:09 +0000 |
|---|---|---|
| committer | letouzey | 2012-05-29 11:08:09 +0000 |
| commit | 442feb2c07f8f5824e814bba504f02c2742637e2 (patch) | |
| tree | 25a45991d4c52b9265820cbb52137b1c92ad52cd /Makefile.common | |
| parent | bf7cfcf92c45af9f559f5bf004e9730d96921850 (diff) | |
Vernacexpr is now a mli-only file, locality stuff now in locality.ml
Adds a directory ./intf for pure interfaces.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15367 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index 22b06a40e8..d5b152432d 100644 --- a/Makefile.common +++ b/Makefile.common @@ -72,7 +72,7 @@ SRCDIRS:=\ config tools tools/coqdoc scripts lib \ kernel kernel/byterun library proofs tactics \ pretyping interp toplevel/utils toplevel parsing \ - ide/utils ide \ + intf ide/utils ide \ $(addprefix plugins/, \ omega romega micromega quote ring \ setoid_ring xml extraction fourier \ @@ -345,7 +345,7 @@ MANPAGES:=man/coq-tex.1 man/coqdep.1 man/gallina.1 \ OCAMLDOCDIR=dev/ocamldoc -DOCMLIS=$(wildcard ./lib/*.mli ./kernel/*.mli ./library/*.mli \ +DOCMLIS=$(wildcard ./lib/*.mli ./intf/*.mli ./kernel/*.mli ./library/*.mli \ ./pretyping/*.mli ./interp/*.mli \ ./parsing/*.mli ./proofs/*.mli \ ./tactics/*.mli ./toplevel/*.mli) |