Thank you Rémy, that was the link I needed.
To quote the relevant part:
8<---------------------------------------------
In the last war plugin SNAPSHOT, there is now a new configuration
parameter which prevent filtering on file extensions :
<configuration>
<nonFilteredFileExtensions>
<nonFilteredFileExtension>pdf</nonFilteredFileExtension>
</nonFilteredFileExtensions>
</configuration>
The default values are jpg,jpeg,gif,bmp,png
8<---------------------------------------------
I think it would be nicer to have a list of explicitly filtered extensions,
but, this will work reasonably well, too.
Thank you, will try it Monday morning, have a nice weekend!
Martin
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
