diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-08-13 14:24:20 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-08-13 14:24:20 +0000 |
| commit | 4b66ae11a155925d2a427e30d4611a4d03d858aa (patch) | |
| tree | 3be952e61d33924984bbad5f8b7d7a7dfa074afc /ocamldoc/Makefile.nt | |
| parent | 307628e786fba0269485fb9461772747dac5311c (diff) | |
ne plus installer odoc_args.mli + ajout commentaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/Makefile.nt')
| -rw-r--r-- | ocamldoc/Makefile.nt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/Makefile.nt b/ocamldoc/Makefile.nt index 4598f2384..b400e9dec 100644 --- a/ocamldoc/Makefile.nt +++ b/ocamldoc/Makefile.nt @@ -39,7 +39,7 @@ OCAMLDOC_LIBA=odoc_info.$(A) INSTALL_LIBDIR=$(OCAMLLIB)/ocamldoc INSTALL_BINDIR=$(OCAMLBIN) -INSTALL_MLIS=odoc_info.mli odoc_args.mli +INSTALL_MLIS=odoc_info.mli INSTALL_CMIS=$(INSTALL_MLIS:.mli=.cmi) # Compilation |