What'd be nice is a small program that would automatically find and replace the codes with the characters. That'd lose things like left and right quotes, but on a small PDA screen it makes little difference. For characters with no direct equivalent, like the lozenge, the program could allow the user to select an ASCII/ANSI character to replace it.

Doesn't the Plucker distiller's --filter feature do what you want?

     --filter=<filter name>:
         Pass fetched documents through filter prior to parsing.


David A. Desrosiers
[EMAIL PROTECTED]
http://gnu-designs.com
_______________________________________________
plucker-dev mailing list
plucker-dev@rubberchicken.org
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev

Reply via email to