Skip to content

GitLab

Commit 2c941081 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-03-11 13:18:23 by jdemouth] Remove cduce2ocaml rule. 

Original author: jdemouth
Date: 2004-03-11 13:18:23+00:00
parent 097bf169
Hide whitespace changes
Inline Side-by-side
Makefile.distrib
View file @ 2c941081
...@@ -283,8 +283,3 @@ install_web: website ...@@ -283,8 +283,3 @@ install_web: website
fi; fi;
cp web/img/*.* $(HTML_DIR)/img cp web/img/*.* $(HTML_DIR)/img
#*: help #*: help
cduce2ocaml: cDuce_all.$(EXTENSION_LIB)
rm -f cduce2ocaml
(cd cdo2cmo; $(MAKE) clean; $(MAKE) NATIVE=$(NATIVE))
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment