diff options
Diffstat (limited to 'man/Makefile')
| -rw-r--r-- | man/Makefile | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/man/Makefile b/man/Makefile deleted file mode 100644 index 4753c202ea..0000000000 --- a/man/Makefile +++ /dev/null @@ -1,22 +0,0 @@ -######################################################################### -# # -# Objective Caml # -# # -# Xavier Leroy, projet Cristal, INRIA Rocquencourt # -# # -# Copyright 1999 Institut National de Recherche en Informatique et # -# en Automatique. All rights reserved. This file is distributed # -# under the terms of the Q Public License version 1.0. # -# # -######################################################################### - -# $Id$ - -include ../config/Makefile - -DIR=$(MANDIR)/man$(MANEXT) - -install: - for i in *.m; do cp $$i $(DIR)/`basename $$i .m`.$(MANEXT); done - echo '.so man$(MANEXT)/ocamlc.$(MANEXT)' > $(DIR)/ocamlc.opt.$(MANEXT) - echo '.so man$(MANEXT)/ocamlopt.$(MANEXT)' > $(DIR)/ocamlopt.opt.$(MANEXT) |