From e807c693bba30d4cbbcc611f2b8b9a2e27311cb4 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 17 Oct 2013 14:56:09 +0200 Subject: [PATCH] fixed makefile after merge --- Makefile | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/Makefile b/Makefile index 969e41e..43fb6a8 100644 --- a/Makefile +++ b/Makefile @@ -27,21 +27,6 @@ install_file: all: bin doc install_file -install_file: - @rm sequence.install || true - @echo 'doc: [' >> sequence.install - @for m in $(wildcard sequence.docdir/*.html) ; do \ - echo ?"$${m}" >> sequence.install; \ - done - @echo ']' >> sequence.install - @echo 'man: [' >> sequence.install - @for m in $(wildcard man/man3/[A-Z]*.3o) ; do \ - echo ?"$${m}" >> sequence.install; \ - done - @echo ']' >> sequence.install - -all: bin doc install_file - benchs: all ocamlbuild -use-ocamlfind -pkg bench -pkg unix tests/benchs.native \ tests/simple_bench.native