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 | |
| parent | 291e9a7e2684fd29d4cd644d98d7c7770dee2c7c (diff) | |
| download | gettext-60bf5ccc462fbd07ae8b6132f916ae1f5c22d0d7.tar.gz | |
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".
| -rw-r--r-- | gettext-tools/doc/ChangeLog | 5 | ||||
| -rw-r--r-- | gettext-tools/doc/gettext.texi | 4 | ||||
| -rw-r--r-- | gettext-tools/src/ChangeLog | 6 | ||||
| -rw-r--r-- | gettext-tools/src/x-awk.h | 2 |
4 files changed, 16 insertions, 1 deletions
diff --git a/gettext-tools/doc/ChangeLog b/gettext-tools/doc/ChangeLog index 12d96cf06..71524cd48 100644 --- a/gettext-tools/doc/ChangeLog +++ b/gettext-tools/doc/ChangeLog @@ -1,5 +1,10 @@ 2015-06-01 Daiki Ueno <ueno@gnu.org> + * gettext.texi (gawk): Mention new file extensions ".gawk" and + ".twjr". + +2015-06-01 Daiki Ueno <ueno@gnu.org> + * gettext.texi (Adjusting Files): Update link to GNU hello distribution. Suggested by Karl Berry in: <https://lists.gnu.org/archive/html/bug-gettext/2015-05/msg00031.html>. diff --git a/gettext-tools/doc/gettext.texi b/gettext-tools/doc/gettext.texi index 987a704dc..0dda94140 100644 --- a/gettext-tools/doc/gettext.texi +++ b/gettext-tools/doc/gettext.texi @@ -10683,7 +10683,9 @@ with a single-letter name. gawk 3.1 or newer @item File extension -@code{awk} +@code{awk}, @code{gawk}, @code{twjr}. +The file extension @code{twjr} is used by TexiWeb Jr +(@uref{https://github.com/arnoldrobbins/texiwebjr}). @item String syntax @code{"abc"} diff --git a/gettext-tools/src/ChangeLog b/gettext-tools/src/ChangeLog index ae39c0110..c0f53be04 100644 --- a/gettext-tools/src/ChangeLog +++ b/gettext-tools/src/ChangeLog @@ -1,3 +1,9 @@ +2015-06-01 Daiki Ueno <ueno@gnu.org> + + * 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>. + 2015-05-08 Часлав Илић (Chusslove Illich) <caslav.ilic@gmx.net> (tiny change) * x-c.c (init_flag_table_kde): New function. diff --git a/gettext-tools/src/x-awk.h b/gettext-tools/src/x-awk.h index 642c0e27c..47cca800c 100644 --- a/gettext-tools/src/x-awk.h +++ b/gettext-tools/src/x-awk.h @@ -29,6 +29,8 @@ extern "C" { #define EXTENSIONS_AWK \ { "awk", "awk" }, \ + { "gawk", "awk" }, \ + { "twjr", "awk" }, \ #define SCANNERS_AWK \ { "awk", extract_awk, \ |