diff options
| author | Sergey Poznyakoff <gray@gnu.org> | 2018-09-24 09:05:42 +0300 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org> | 2018-09-24 09:05:42 +0300 |
| commit | c6b697f0ea2d5c819a0d7cb3433b85dbdcfc4064 (patch) | |
| tree | bb5b39bc2053d0bdb446847f19be663a78dd2a46 | |
| parent | 546f4105fb1bdbbfdceff389264b3f344912bea5 (diff) | |
| download | dico-c6b697f0ea2d5c819a0d7cb3433b85dbdcfc4064.tar.gz dico-c6b697f0ea2d5c819a0d7cb3433b85dbdcfc4064.tar.bz2 | |
Minor change
* modules/dict.org/tests/db/GNUmakefile: Rename to dict.mk
| -rw-r--r-- | modules/dict.org/tests/db/dict.mk (renamed from modules/dict.org/tests/db/GNUmakefile) | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/modules/dict.org/tests/db/GNUmakefile b/modules/dict.org/tests/db/dict.mk index eb6dcee..fc3d91d 100644 --- a/modules/dict.org/tests/db/GNUmakefile +++ b/modules/dict.org/tests/db/dict.mk @@ -1,7 +1,3 @@ -ifneq (,$(wildcard Makefile)) - include Makefile -endif - DICTFMT=dictfmt all: $(DICTS) |