maint.mk: prohibit doubled words

[pspp] / lib / unictype / pr_extender.h

diff --git a/lib/unictype/pr_extender.h b/lib/unictype/pr_extender.h
index e42e504eefcbffdfeaecd2465e86acdd1bacd06c..21f6e564075567b41fd00d5efd2522b2d0d916ff 100644 (file)
--- a/lib/unictype/pr_extender.h
+++ b/lib/unictype/pr_extender.h
@@ -1,6 +1,6 @@
 /* DO NOT EDIT! GENERATED AUTOMATICALLY! */
 /* Properties of Unicode characters.  */
-/* Generated automatically by gen-uni-tables.c for Unicode 5.2.0.  */
+/* Generated automatically by gen-uni-tables.c for Unicode 6.0.0.  */
 #define header_0 16
 #define header_2 9
 #define header_3 127