diff options
-rw-r--r-- | tools/FILES | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/FILES b/tools/FILES index 57a931473f..05ca8e0b45 100644 --- a/tools/FILES +++ b/tools/FILES | |||
@@ -2,6 +2,7 @@ FILES | |||
2 | Makefile | 2 | Makefile |
3 | configure | 3 | configure |
4 | *.[ch] | 4 | *.[ch] |
5 | *.sh | ||
5 | release | 6 | release |
6 | genlang | 7 | genlang |
7 | rockbox-style.el | 8 | rockbox-style.el |
@@ -19,5 +20,3 @@ ucl/src/*.ch | |||
19 | ucl/src/Makefile | 20 | ucl/src/Makefile |
20 | ucl/include/ucl/*.h | 21 | ucl/include/ucl/*.h |
21 | profile_reader/*.pl | 22 | profile_reader/*.pl |
22 | rockboxdev.sh | ||
23 | mkmi4.sh | ||