Jürgen Spitzmüller schrieb:
Bernhard Roider wrote:
i am not familiar with the possible filenames, thus the question: do all
kinds of filenames that can appear in that output have an extension and
does that extension never contain digits?
As far as I understand it, yes. Basically, this should be *.tex files (and
probably *.aux, *.bbl and friends).
if we know the possible extensions we could parse for them exactly (to avoid false matches).
otherwise i see no problem to keep your first version.
bernhard
