diff options
author | Christian Perrier <bubulle@debian.org> | 2014-05-09 18:31:32 +0200 |
---|---|---|
committer | Christian Perrier <bubulle@debian.org> | 2014-05-09 18:31:32 +0200 |
commit | a497c3663fc035961da0a1b90f6abdd2de35ddb4 (patch) | |
tree | 0d275d52326e1d7144ee02a65e9b40949e60bcd3 /man/po | |
parent | 07dea4851115cd964d7df30b5bb9ecfc2ffb9a3e (diff) | |
download | shadow-a497c3663fc035961da0a1b90f6abdd2de35ddb4.tar.gz |
No idea what these are about but they're here after 'make redist' so better have them in the VCS
Diffstat (limited to 'man/po')
-rw-r--r-- | man/po/remove-potcdate.sed | 11 | ||||
-rw-r--r-- | man/po/remove-potcdate.sin | 19 |
2 files changed, 30 insertions, 0 deletions
diff --git a/man/po/remove-potcdate.sed b/man/po/remove-potcdate.sed new file mode 100644 index 00000000..edb38d70 --- /dev/null +++ b/man/po/remove-potcdate.sed @@ -0,0 +1,11 @@ +/^"POT-Creation-Date: .*"$/{ +x +s/P/P/ +ta +g +d +bb +:a +x +:b +} diff --git a/man/po/remove-potcdate.sin b/man/po/remove-potcdate.sin new file mode 100644 index 00000000..2436c49e --- /dev/null +++ b/man/po/remove-potcdate.sin @@ -0,0 +1,19 @@ +# Sed script that remove the POT-Creation-Date line in the header entry +# from a POT file. +# +# The distinction between the first and the following occurrences of the +# pattern is achieved by looking at the hold space. +/^"POT-Creation-Date: .*"$/{ +x +# Test if the hold space is empty. +s/P/P/ +ta +# Yes it was empty. First occurrence. Remove the line. +g +d +bb +:a +# The hold space was nonempty. Following occurrences. Do nothing. +x +:b +} |