Hi, here are three (small) contributions.
1. The attached patch corrects some LaTeX output symbols that
should be in math mode (surrounded by $$), and adds
0x201e = "below double quote" as a symbol. Furthermore \ldots
was implemented for 0x2026.
I also added 0x201e to the HTML output. My browsers don't render &bdquote;
as they are supposed to -- seems to be pretty new. So I chose ,, for
representation.
2. I introduced the variant wvCleanLaTeX.xml to produce a LaTeX output
mostly free of visual paragraph formatting, and thus more suitable
for further use in LaTeX (or LyX import). It is produced by patching the
second attachment, wvDiffLaTeX.xml, to wvLaTeX.xml to produce
wvCleanLaTeX.xml.
3. Please remove wvLaTeX.sed. Its functions have been superseded by the
various patches to text.c that I have submitted earlier.
--
Martin Vermeer [EMAIL PROTECTED] Phone +358 9 295 55 215 Fax +358 9 295 55 200
Finnish Geodetic Institute Geodeetinrinne 2 FIN-02430 Masala FINLAND
:wq
Index: text.c
===================================================================
RCS file: /cvsroot/wv/text.c,v
retrieving revision 1.43
diff -u -r1.43 text.c
--- text.c 2000/07/14 14:16:47 1.43
+++ text.c 2000/08/09 16:36:04
@@ -601,6 +601,9 @@
case 0x2019:
printf("'"); /* Right single quote, Win */
return(1);
+ case 0x2026:
+ printf("\\ldots"); /* ellipsis */
+ return(1);
case 0x2215:
printf("/");
return(1);
@@ -631,14 +634,17 @@
case 0x201d:
printf("''"); /* double q.m. */
return(1);
+ case 0x201e:
+ printf(",,"); /* below double q.m. */
+ return(1);
case 0x2020:
- printf("\\dagger");
+ printf("$\\dagger$");
return(1);
case 0x2021:
- printf("\\ddagger");
+ printf("$\\ddagger$");
return(1);
case 0x2022:
- printf("\\bullet");
+ printf("$\\bullet$");
return(1);
case 0x0152:
printf("\\OE{}"); /* OE ligature */
@@ -745,6 +751,9 @@
return(1);
case 0x201d:
printf("”"); /* double q.m. */
+ return(1);
+ case 0x201e:
+ printf(",,"); /* below double quote */
return(1);
case 0x2020:
printf("†");
--- wvLaTeX.xml Thu Dec 16 18:39:02 1999
+++ wvCleanLaTeX.xml Wed Aug 9 19:02:37 2000
@@ -345,14 +345,8 @@
<text>
<begin>
-\vspace{<mmParaBefore/>}
-\setlength{\parindent}{<mmParaLeft1/>}
-\setlength{\leftskip}{<mmParaLeft/>}
-\setlength{\rightskip}{<mmParaRight/>}
-</begin>
-<end>
-\vspace{<mmParaAfter/>}
-</end>
+
+</begin><end></end>
</text>
<picture>
