#!/bin/sh

datadir=${0%fmtdoc2tex}../share

#set -C
for i in *.[dD][Oo][Cc] ; do

BASE="${i/%.[dD][Oo][Cc]/}"

echo "$i"

wvWare --charset=iso-8859-2 -x ${datadir}/wvupages.xml "$i" | sed '
s%<a href="[^"]*">%\\xhttp %g
s%</a>%§%g
s%½%1/2%g
s%¼%1/4%g
s%\\v{c}%è%g
s%\\v{C}%È%g
s%\\v{d}%ï%g
s%\\v{D}%Ï%g
s%\\v{e}%ì%g
s%\\v{E}%Ì%g
s%\\'\''{l}%å%g
s%\\'\''{L}%Å%g
s%\\v{l}%µ%g
s%\\v{L}%¥%g
s%\\v{n}%ò%g
s%\\v{N}%Ò%g
s%\\v{r}%ø%g
s%\\v{R}%Ø%g
s%\\v{s}%¹%g
s%\\v{S}%©%g
s%\\v{t}%»%g
s%\\v{T}%«%g
s%\\r{u}%ù%g
s%\\r{U}%Ù%g
s%\\v{z}%¾%g
s%\\v{Z}%®%g
s%\\quotedblbase{}%"%g
s%``%"%g
s%\\hfill{}% %g
:1
s%#[BUIL]@\( *\)@[BUIL]#%\1%g
t1
:2
s%@[BUIL]#\( *\)#[BUIL]@%\1%g
t2
:3
s%\(  *\)\(@[BUIL]#\)%\2\1%g
t3
:4
s%\(#[BUIL]@\)\(  *\)%\2\1%g
t4
s% *$%%g
s%$%\
%g
s%#\([BUIL]\)@%{\\\1 %g
s%@[BUIL]#%}%g
s%\\ldots%...%g
s%\\ % %g
s%\\\\%%g
' | sed 's/$/\
/' | fmt >"$BASE.tex"

done