Imported Upstream version 4.2.1upstream/4.2.1

3 files changed, 1 insertions, 30 deletions

diff --git a/man/po/remove-potcdate.sed b/man/po/remove-potcdate.sed
deleted file mode 100644
index edb38d70..00000000
--- a/man/po/remove-potcdate.sed
+++ /dev/null
@@ -1,11 +0,0 @@
-/^"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
deleted file mode 100644
index 2436c49e..00000000
--- a/man/po/remove-potcdate.sin
+++ /dev/null
@@ -1,19 +0,0 @@
-# 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
-}
diff --git a/man/po/stamp-po b/man/po/stamp-po
new file mode 100644
index 00000000..9788f702
--- /dev/null
+++ b/man/po/stamp-po
@@ -0,0 +1 @@
+timestamp