Documentation fixes for IRI options, and rename --locale -> --local-encoding.

[wget] / po / boldquot.sed

diff --git a/po/boldquot.sed b/po/boldquot.sed
index 4b937aa517bcff9f5adfc2a01d6d780445999297..484b200e36181842bad832e244094e7c70c220ba 100644 (file)
--- a/po/boldquot.sed
+++ b/po/boldquot.sed
@@ -1,3 +1,7 @@
+# For quotearg:
+s/^`$/“\e[1m/
+s/^'$/”\e[0m/
+
 s/"\([^"]*\)"/“\1”/g
 s/`\([^`']*\)'/‘\1’/g
 s/ '\([^`']*\)' / ‘\1’ /g
@@ -8,3 +12,9 @@ s/“/“\e[1m/g
 s/”/\e[0m”/g
 s/‘/‘\e[1m/g
 s/’/\e[0m’/g
+
+# At least in all of our current strings, ' should be ’.
+s/'/’/g
+# Special: write Hrvoje’s last name properly.
+s/Niksic/Nikšić/g
+s/opyright (C)/opyright ©/g