diff options
| author | Daiki Ueno <ueno@gnu.org> | 2015-06-01 12:12:28 +0900 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2015-06-01 12:12:28 +0900 |
| commit | 60bf5ccc462fbd07ae8b6132f916ae1f5c22d0d7 (patch) | |
| tree | 0c2f423f9657dd7e02b4d97fc9b6ae961eec4d16 /gnulib-local/lib | |
| parent | 291e9a7e2684fd29d4cd644d98d7c7770dee2c7c (diff) | |
| download | external_gettext-60bf5ccc462fbd07ae8b6132f916ae1f5c22d0d7.zip external_gettext-60bf5ccc462fbd07ae8b6132f916ae1f5c22d0d7.tar.gz external_gettext-60bf5ccc462fbd07ae8b6132f916ae1f5c22d0d7.tar.bz2 | |
awk: Recognize .twjr file extension
* gettext-tools/src/x-awk.h (EXTENSIONS_AWK): Register file extensions
".gawk" and ".twjr". Suggested by Karl Berry in:
<https://lists.gnu.org/archive/html/bug-gettext/2015-05/msg00032.html>.
* gettext-tools/doc/gettext.texi (gawk): Mention new file extensions
".gawk" and ".twjr".
Diffstat (limited to 'gnulib-local/lib')
0 files changed, 0 insertions, 0 deletions