diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-09-05 12:04:54 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-09-05 12:04:54 +0000 |
commit | 5ef83163f7535b36c9ac5b3c302284a2ccaacb30 (patch) | |
tree | f32973763f3d298474f8b387725b26f9f68603f5 /po/insert-header.sin | |
parent | ab185489bc22430ddce5a9c7112074361f0a92cb (diff) | |
download | libmicrohttpd-5ef83163f7535b36c9ac5b3c302284a2ccaacb30.tar.gz libmicrohttpd-5ef83163f7535b36c9ac5b3c302284a2ccaacb30.zip |
adding gettext stuff for fixing #4614
Diffstat (limited to 'po/insert-header.sin')
-rw-r--r-- | po/insert-header.sin | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/po/insert-header.sin b/po/insert-header.sin new file mode 100644 index 00000000..b26de01f --- /dev/null +++ b/po/insert-header.sin | |||
@@ -0,0 +1,23 @@ | |||
1 | # Sed script that inserts the file called HEADER before the header entry. | ||
2 | # | ||
3 | # At each occurrence of a line starting with "msgid ", we execute the following | ||
4 | # commands. At the first occurrence, insert the file. At the following | ||
5 | # occurrences, do nothing. The distinction between the first and the following | ||
6 | # occurrences is achieved by looking at the hold space. | ||
7 | /^msgid /{ | ||
8 | x | ||
9 | # Test if the hold space is empty. | ||
10 | s/m/m/ | ||
11 | ta | ||
12 | # Yes it was empty. First occurrence. Read the file. | ||
13 | r HEADER | ||
14 | # Output the file's contents by reading the next line. But don't lose the | ||
15 | # current line while doing this. | ||
16 | g | ||
17 | N | ||
18 | bb | ||
19 | :a | ||
20 | # The hold space was nonempty. Following occurrences. Do nothing. | ||
21 | x | ||
22 | :b | ||
23 | } | ||