<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html;charset=ISO-8859-1">
<title></title>
</head>
<body text="#000000" bgcolor="#ffffff">
<br>
<blockquote type="cite"
cite="mid5921a29b050624074341f228a1@mail.gmail.com">
<pre wrap="">I want to ask a question. Is it possible to change all -- in the book
text to ‐‐? Here is why it is needed: Russian translation
team uses the so called "Norwegian method" to keep source in sync with
English version, which allows to keep English source along with
translated text in XML comments. Unfortunately, presence of -- in such
comments breaks validity of these elements, because -- is not supposed
to appear inside a comment.</pre>
</blockquote>
You <i>have</i> to be kidding me. You want to change a million
instances of
option names from --foo to ‐‐foo? That's really
gross. <br>
<br>
I'm sorry, but I just don't personally want to suffer the pain of
editing that way, nor of expecting newcomers to the project to learn
such an obscure policy. I understand it causes you some amount of
pain, but suggest that at the time you go to comment out English text,
you also do this hyphen-to-"‐" transformation for yourself.<br>
<blockquote type="cite"
cite="mid5921a29b050624074341f228a1@mail.gmail.com">
<pre wrap="">On the other topic, our ru/ProperNames is still not finished. Can you
help to complete it or help to arouse some interest to that file once again?
</pre>
</blockquote>
I've done what I can do in ProperNames, but will send a prod to the
list about it.<br>
</body>
</html>