From a497c3663fc035961da0a1b90f6abdd2de35ddb4 Mon Sep 17 00:00:00 2001 From: Christian Perrier Date: Fri, 9 May 2014 18:31:32 +0200 Subject: No idea what these are about but they're here after 'make redist' so better have them in the VCS --- man/po/remove-potcdate.sed | 11 +++++++++++ man/po/remove-potcdate.sin | 19 +++++++++++++++++++ 2 files changed, 30 insertions(+) create mode 100644 man/po/remove-potcdate.sed create mode 100644 man/po/remove-potcdate.sin (limited to 'man') 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 +} -- cgit v1.2.1