Getting rid of proprietary fonts

[Nadav Har'El]

On Sun, Jan 22, 2012, Dotan Shavit wrote about "Re: Getting rid of proprietary fonts":
> >I wonder if anybody knows how I can use OpenOffice, or some other tool,
> >to find *where* in the document a certain font is being used?
> 
> Hmm... Save as HTML ?

Thanks for the idea. This is ugly, and tedious, but it actually works
and I finally was able to find and remove all the references to those
nasty non-free fonts.

I still wonder if there isn't a much easier way. Some "search font" form
in OpenOffice, or a utility to turn all text in some font to pink ;-)

Thanks,
Nadav.

-- 
Nadav Har'El                        |                    Sunday, Jan 22 2012, 
nyh at math.technion.ac.il             |-----------------------------------------
Phone +972-523-790466, ICQ 13349191 |Attention: There will be a rain dance
http://nadav.harel.org.il           |Friday night, weather permitting.