Closed MarkyC closed 9 years ago
Every time when some output file is generated, there is no extension of it and hence one needs to rename it manually with .pdf extension. IT MUST BE A PDF FILE WITH .pdf EXTENSION!