From b28e9663968e55b0edd79af09581f8fe31337821 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 18 Apr 2013 16:56:17 +0000
Subject: coqc and coqmktop migrated in tools/, get rid of scripts/ subdir

 No need to place these binaries apart, and anyway they aren't
 (shell) scripts since ages.

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 8418d9346..8f0a9a409 100644
--- a/.gitignore
+++ b/.gitignore
@@ -145,7 +145,7 @@ ide/coqide_main_opt.ml
 
 kernel/byterun/coq_jumptbl.h
 kernel/copcodes.ml
-scripts/tolink.ml
+tools/tolink.ml
 theories/Numbers/Natural/BigN/NMake_gen.v
 ide/index_urls.txt
 
-- 
cgit v1.2.3