PDF files are now compiled next to the Markdown sources