diff options
| author | Paul Eggert | 2015-09-16 15:52:09 -0700 |
|---|---|---|
| committer | Paul Eggert | 2015-09-16 15:59:13 -0700 |
| commit | dc436dd77f70dbc2e294a1fd2d69a332f1413fa5 (patch) | |
| tree | 84ba3af906962c65120fa1194b6908127d1a86a4 /admin | |
| parent | 8865587c55f251ac624e6730505de66d15b28562 (diff) | |
| download | emacs-dc436dd77f70dbc2e294a1fd2d69a332f1413fa5.tar.gz emacs-dc436dd77f70dbc2e294a1fd2d69a332f1413fa5.zip | |
Minor backslash fixes in manuals and scripts
* Makefile.in (install-arch-indep):
* admin/charsets/compact.awk:
* admin/charsets/gb180302.awk (gb_to_index):
* admin/charsets/gb180304.awk (gb_to_index):
Avoid undefined behavior in Awk regular expression backslashes.
* doc/misc/efaq.texi (Matching parentheses):
Omit unnecessary backslashes.
* doc/misc/gnus-faq.texi (FAQ 5-8):
Avoid undefined behavior in suggested sed backslash usage.
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/charsets/compact.awk | 3 | ||||
| -rw-r--r-- | admin/charsets/gb180302.awk | 5 | ||||
| -rw-r--r-- | admin/charsets/gb180304.awk | 5 |
3 files changed, 5 insertions, 8 deletions
diff --git a/admin/charsets/compact.awk b/admin/charsets/compact.awk index b7d1fd19d8e..21e03ee4157 100644 --- a/admin/charsets/compact.awk +++ b/admin/charsets/compact.awk | |||
| @@ -69,7 +69,7 @@ function decode_hex(str, idx) { | |||
| 69 | return n; | 69 | return n; |
| 70 | } | 70 | } |
| 71 | 71 | ||
| 72 | /^\#/ { | 72 | /^#/ { |
| 73 | print; | 73 | print; |
| 74 | next; | 74 | next; |
| 75 | } | 75 | } |
| @@ -119,4 +119,3 @@ END { | |||
| 119 | printf "0x%04X-0x%04X 0x%04X\n", from_code, to_code, from_unicode; | 119 | printf "0x%04X-0x%04X 0x%04X\n", from_code, to_code, from_unicode; |
| 120 | } | 120 | } |
| 121 | } | 121 | } |
| 122 | |||
diff --git a/admin/charsets/gb180302.awk b/admin/charsets/gb180302.awk index 40d92bf9be4..4947f966371 100644 --- a/admin/charsets/gb180302.awk +++ b/admin/charsets/gb180302.awk | |||
| @@ -53,7 +53,7 @@ function decode_hex(str) { | |||
| 53 | function gb_to_index(gb) { | 53 | function gb_to_index(gb) { |
| 54 | b0 = int(gb / 256); | 54 | b0 = int(gb / 256); |
| 55 | b1 = gb % 256; | 55 | b1 = gb % 256; |
| 56 | idx = (((b0 - 129)) * 191 + b1 - 64); | 56 | idx = (((b0 - 129)) * 191 + b1 - 64); |
| 57 | # if (b1 >= 128) | 57 | # if (b1 >= 128) |
| 58 | # idx--; | 58 | # idx--; |
| 59 | return idx | 59 | return idx |
| @@ -67,7 +67,7 @@ function index_to_gb(idx) { | |||
| 67 | return (b0 * 256 + b1); | 67 | return (b0 * 256 + b1); |
| 68 | } | 68 | } |
| 69 | 69 | ||
| 70 | /^\#/ { | 70 | /^#/ { |
| 71 | print; | 71 | print; |
| 72 | next; | 72 | next; |
| 73 | } | 73 | } |
| @@ -108,4 +108,3 @@ END { | |||
| 108 | printf "0x%04X-0x%04X 0x%04X\n", | 108 | printf "0x%04X-0x%04X 0x%04X\n", |
| 109 | index_to_gb(from_gb), index_to_gb(to_gb), from_unicode; | 109 | index_to_gb(from_gb), index_to_gb(to_gb), from_unicode; |
| 110 | } | 110 | } |
| 111 | |||
diff --git a/admin/charsets/gb180304.awk b/admin/charsets/gb180304.awk index 3c16cb556ea..81d7e7301bf 100644 --- a/admin/charsets/gb180304.awk +++ b/admin/charsets/gb180304.awk | |||
| @@ -49,7 +49,7 @@ function decode_hex(str) { | |||
| 49 | function gb_to_index(gb) { | 49 | function gb_to_index(gb) { |
| 50 | b0 = int(gb / 256); | 50 | b0 = int(gb / 256); |
| 51 | b1 = gb % 256; | 51 | b1 = gb % 256; |
| 52 | idx = (((b0 - 129)) * 191 + b1 - 64); | 52 | idx = (((b0 - 129)) * 191 + b1 - 64); |
| 53 | # if (b1 >= 127) | 53 | # if (b1 >= 127) |
| 54 | # idx--; | 54 | # idx--; |
| 55 | return idx | 55 | return idx |
| @@ -65,7 +65,7 @@ function index_to_gb(idx) { | |||
| 65 | return sprintf("%02X%02X%02X%02X", b0, b1, b2, b3); | 65 | return sprintf("%02X%02X%02X%02X", b0, b1, b2, b3); |
| 66 | } | 66 | } |
| 67 | 67 | ||
| 68 | /^\#/ { | 68 | /^#/ { |
| 69 | print; | 69 | print; |
| 70 | next; | 70 | next; |
| 71 | } | 71 | } |
| @@ -119,4 +119,3 @@ END { | |||
| 119 | } | 119 | } |
| 120 | } | 120 | } |
| 121 | } | 121 | } |
| 122 | |||