Skip to content

GitLab

Commit 1697611d authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files
Options

Revert "fixed installation" 

This reverts commit 99554a05.
parent ef1bcb23
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
Makefile.in
View file @ 1697611d
......@@ -219,7 +219,7 @@ install_no_local::
cp -f theories/*.why $(DATADIR)/why3/theories
cp -f theories/transform/*.why $(DATADIR)/why3/theories/transform
cp -f modules/*.mlw $(DATADIR)/why3/modules
cp -f drivers/*.drv $(DATADIR)/why3/drivers
cp -f drivers/*.drv drivers/*.gen $(DATADIR)/why3/drivers
cp -f share/provers-detection-data.conf $(DATADIR)/why3/
cp -f share/images/*.png $(DATADIR)/why3/images
cp -f share/emacs/why.el $(DATADIR)/why3/emacs/why.el
......
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