test archiving commands
changed publish script
newly rendered pdfs: pdfs/main_2013-06-07_00-22.pdf pdfs/diff_2013-06-07_00-22.pdf
newly rendered pdfs: pdfs/main_2013-06-07_00-23.pdf pdfs/diff_2013-06-07_00-23.pdf