Commit 9f857e42 authored by Andrei Paskevich's avatar Andrei Paskevich

real fix of installation (sorry, guys)

parent 1697611d
......@@ -1066,7 +1066,7 @@ DISTRIB_FILES = Version Makefile.in configure.in META.in configure .depend.* \
src/*.ml* src/*/*.ml* src/*/*.c \
src/config.sh.in \
doc/version.tex.in doc/manual.pdf \
drivers/*.drv \
drivers/*.drv drivers/*.gen \
examples/*.why examples/programs/*.mlw examples/tptp/*.why \
examples/*/*.xml examples/*/*/*.xml \
examples/*/*.v examples/*/*/*.v \
......
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