:-  [
	'XRF.PL',
	'XRFCOL.PL',
	'XRFDEF.PL',
	'XRFMOD.PL',
	'XRFOUT.PL',
	'XRFTTY.PL'
    ].
