diff --git a/pdf/update_pdf.bat b/pdf/update_pdf.bat index e611937..034670f 100644 --- a/pdf/update_pdf.bat +++ b/pdf/update_pdf.bat @@ -1,4 +1,3 @@ -#! /bin/bash cd .. git checkout gh-pages git pull @@ -9,4 +8,4 @@ git add README.md git commit -m 'updating PDF' git push git checkout master -cd pdf \ No newline at end of file +cd pdf