From 036f2d4221ba9fa566d0dd660c8b0c7f261ad24c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Thu, 17 Feb 2011 11:21:03 +0100 Subject: [PATCH] in local .why.conf -> why.conf --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index d517df55c..4ce55867b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -407,7 +407,7 @@ clean:: local_config: bin/why3config.@OCAMLBEST@ WHY3LIB=$(PWD) WHY3DATA=$(PWD)/share bin/why3config.@OCAMLBEST@ \ - --detect --conf_file .why.conf + --detect --conf_file why.conf install_no_local:: cp -f bin/why3config.@OCAMLBEST@ $(BINDIR)/why3config -- GitLab