Since it looks like pyplucker doesn't support UTF8, can some kind person
tell me where in the code I can do some string substitutions to handle a
couple of common characters? (I need to pluckerize a text collection that
uses UTF8.) In other words, where in the code is the raw input text dealt
with?
Here's a thought for the distiller. It might be nice to have an option to
run each file as it's fetched through a user-specified filter (sed script,
user-supplied program, whatever). That might be handy for handling some
special requirements some users (like me!) might have.
Alex
--
Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED]
Philosophy Department || online papers and home page:
Georgetown University || www.georgetown.edu/faculty/ap85
Washington, DC 20057 ||
U.S.A. ||
-----------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
