diff options
| author | letouzey | 2013-04-18 16:56:17 +0000 |
|---|---|---|
| committer | letouzey | 2013-04-18 16:56:17 +0000 |
| commit | b28e9663968e55b0edd79af09581f8fe31337821 (patch) | |
| tree | 7cae03a2dd953e1c74c3a83fae8c882847851337 /_tags | |
| parent | 95e8234b7a3e3850710a18d26f6dd561497e25d0 (diff) | |
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
Diffstat (limited to '_tags')
| -rw-r--r-- | _tags | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -1,8 +1,8 @@ ## tags for binaries -<scripts/coqmktop.{native,byte}> : use_str, use_unix -<scripts/coqc.{native,byte}> : use_str, use_unix +<tools/coqmktop.{native,byte}> : use_str, use_unix +<tools/coqc.{native,byte}> : use_str, use_unix <tools/coqdep_boot.{native,byte}> : use_unix <tools/coqdep.{native,byte}> : use_str, use_unix <tools/coq_tex.{native,byte}> : use_str @@ -68,8 +68,6 @@ "pretyping": include "printing": include "proofs": include -"scripts": include -"states": include "tactics": include "theories": include "tools": include |