diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /includes/normal/Makefile | |
parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) |
Update to MediaWiki 1.24.1
Diffstat (limited to 'includes/normal/Makefile')
-rw-r--r-- | includes/normal/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/includes/normal/Makefile b/includes/normal/Makefile index 66348ee3..76cb68ba 100644 --- a/includes/normal/Makefile +++ b/includes/normal/Makefile @@ -16,14 +16,11 @@ PHP=php FETCH=wget #FETCH=fetch -all : UtfNormalData.inc Utf8Case.php +all : UtfNormalData.inc UtfNormalData.inc : UtfNormalGenerate.php UtfNormalUtil.php UnicodeData.txt CompositionExclusions.txt NormalizationCorrections.txt DerivedNormalizationProps.txt $(PHP) UtfNormalGenerate.php -Utf8Case.php : Utf8CaseGenerate.php UtfNormalUtil.php UnicodeData.txt - $(PHP) Utf8CaseGenerate.php - test : testutf8 UtfNormalTest.php UtfNormalData.inc NormalizationTest.txt $(PHP) UtfNormalTest.php |