diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile.am | 1 | ||||
| -rw-r--r-- | po/remove-potcdate.sin | 19 |
3 files changed, 20 insertions, 1 deletions
@@ -287,7 +287,6 @@ po/Makevars.template po/POTFILES po/quot.sed po/remove-potcdate.sed -po/remove-potcdate.sin po/Rules-quot po/stamp-it po/stamp-po diff --git a/Makefile.am b/Makefile.am index 5f104fa9..9714c334 100644 --- a/Makefile.am +++ b/Makefile.am @@ -139,6 +139,7 @@ EXTRA_DIST = \ libtool-kill-dependency_libs.sh \ logo/fish.svg logo/fish.png \ m4/.gitignore \ + po/remove-potcdate.sin \ update-bugs.sh # The website. diff --git a/po/remove-potcdate.sin b/po/remove-potcdate.sin new file mode 100644 index 00000000..2436c49e --- /dev/null +++ b/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 +} |