newly rendered pdfs: pdfs/main_2013-06-04_18-38.pdf pdfs/diff_2013-06-04_18-38.pdf
updated publish script to generate diff pdf