Commit 5432deb3 authored by Andrei Paskevich's avatar Andrei Paskevich

put plugins in the distribution tarball

parent acd30d83
......@@ -1218,6 +1218,7 @@ DISTRIB_FILES = Version Makefile.in configure.in META.in configure .depend.* \
README INSTALL OCAML-LICENSE LICENSE \
src/*.ml* src/*/*.ml* src/*/*.c \
src/config.sh.in \
plugins/*.ml* plugins/*/*.ml* \
doc/version.tex.in doc/manual.pdf \
drivers/*.drv drivers/*.gen \
examples/*.why examples/programs/*.mlw examples/tptp/*.why \
......
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