Commit 9d1daf04 authored by POTTIER Francois's avatar POTTIER Francois

Fix [make package] to not include [src/installation.ml].

parent 7d5de7c1
......@@ -123,6 +123,7 @@ package: clean
@ mkdir -p $(PACKAGE)/src
@ cp -fr $(DISTRIBUTED_FILES) $(PACKAGE)
@ cp -fr src/*.ml{,i,y,l,pack} src/*.messages src/Makefile src/*.META $(PACKAGE)/src
@ rm -f $(PACKAGE)/src/installation.ml
@ grep -v my_warnings src/_tags > $(PACKAGE)/src/_tags
@ $(MAKE) -C $(PACKAGE)/demos clean
# Set the version number into the files that mention it. These
......
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