From ab6f28a2a5251cc7ef18948dc619781e82e43e71 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sun, 20 Nov 2011 20:03:03 +0000
Subject: coqide-gtk2rc not dotted

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14695 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index aa98d5e19c..508776f3ba 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -303,7 +303,7 @@ COQIDEFLAGS=-thread $(COQIDEINCLUDES)
 
 .SUFFIXES:.vo
 
-IDEFILES=ide/coq.png ide/.coqide-gtk2rc
+IDEFILES=ide/coq.png ide/coqide-gtk2rc
 
 coqide-binaries: coqide-$(HASCOQIDE)
 coqide-no:
-- 
cgit v1.2.3