diff options
Diffstat (limited to 'ocaml-binary-annot/otherlibs/labltk/browser/Makefile')
| -rw-r--r-- | ocaml-binary-annot/otherlibs/labltk/browser/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ocaml-binary-annot/otherlibs/labltk/browser/Makefile b/ocaml-binary-annot/otherlibs/labltk/browser/Makefile new file mode 100644 index 0000000000..5caed2bf60 --- /dev/null +++ b/ocaml-binary-annot/otherlibs/labltk/browser/Makefile @@ -0,0 +1,8 @@ +# $Id$ + +OTHERSLIB=-I $(OTHERS)/unix -I $(OTHERS)/str + +include Makefile.shared + +dummy.mli: + cp dummyUnix.mli dummy.mli |