>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:

Georg> I am going to implement this unless somebody has a better idea.

Just one point: I think that using `#' in a file name that LaTeX may see
is a bad idea (since it has special meaning)... 

JMarc

Reply via email to