>>>>> "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