Commit 6f6adae1 authored by POTTIER Francois's avatar POTTIER Francois

Merge branch 'master' of gitlab.inria.fr:fpottier/menhir

parents c943250e 6ce690b6
......@@ -67,7 +67,7 @@ TARBALL := $(CURRENT)/$(PACKAGE).tar.gz
# This does not include the src/ and doc/ directories, which require
# special treatment.
DISTRIBUTED_FILES := AUTHORS CHANGES INSTALLATION LICENSE Makefile demos
DISTRIBUTED_FILES := CHANGES INSTALLATION.md LICENSE Makefile README.md demos
# -------------------------------------------------------------------------
......
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