$ git clone https://sissource.ethz.ch/jarunanp/tutorial-schlumberger-software.git
$ cd tutorial-schlumberger-software

$ git checkout develop
$ git branch

* develop
  master

$ emacs tutorial_schlumberger_software.html

$ firefox tutorial_schlumberger_software.html

$ sh create_PDF.sh

$ git status

On branch develop
Your branch is up to date with 'origin/develop'.

Changes not staged for commit:
  (use "git add <file>..." to update what will be committed)
  (use "git checkout -- <file>..." to discard changes in working directory)

        modified:   tutorial_schlumberger_software.html
        modified:   tutorial_schlumberger_software.pdf

$ git commit -am "update tutorial"

$ git push origin develop