do not add PDF to github pages by default
First version of an upload script