Options 'nopdf' and 'notex', implemented.