Fix PDF doc export Makefile to handle files generated on error
