However, I would like to select on a combination of alternatives, so that equivalent are
<file name=“whatever”/> and <file src=“whatever”/>
I tried several variations but none of them work.
\xmlfilter{#1}{file([@name=="whatever”] or [@src=="whatever”])/command(todo)
\xmlfilter{#1}{file[@name=="whatever”] or [@src=="whatever”]/command(todo)
\xmlfilter{#1}{file[@name=="whatever”] or file[@src=="whatever”]/command(todo)
\xmlfilter{#1}{(file[@name=="whatever”]|file[@src=="whatever”])/command(todo)
How to? Or is this impossible?
Hans van der Meer