# Sed script that converts quotations, by replacing ASCII quotation marks
# with Unicode quotation marks and highlighting the quotations in bold face.
#
# Copyright (C) 2001 Free Software Foundation, Inc.
# This file is free software; the Free Software Foundation
# gives unlimited permission to copy and/or distribute it,
# with or without modifications, as long as this notice is preserved.
# This file is offered as-is, without any warranty.
#
# Written by Bruno Haible <bruno@clisp.org>, 2001.
#
s/"\([^"]*\)"/“\1”/g
s/`\([^`']*\)'/‘\1’/g
s/ '\([^`']*\)' / ‘\1’ /g
s/ '\([^`']*\)'$/ ‘\1’/g
s/^'\([^`']*\)' /‘\1’ /g
s/“”/""/g
s/“/“[1m/g
s/”/[0m”/g
s/‘/‘[1m/g
s/’/[0m’/g
