Deploy site updates + added Makefile for `make site` / `make __cp_web`: moved that to this branch so we cannot screw up, hence moved this commit here: SHA-1: 9b1462ca3ab838113830a8bd699e23fc7eb25545 :: added special `make` for when `make deploy` failsat first `git checkout` command in there: `make __cp_web`
Deploy site updates + added Makefile for `make site` / `make __cp_web`: moved that to this branch so we cannot screw up, hence moved this commit here: SHA-1: 9b1462ca3ab838113830a8bd699e23fc7eb25545 :: added special `make` for when `make deploy` failsat first `git checkout` command in there: `make __cp_web`

GerHobbelt/jison,GerHobbelt/jison,GerHobbelt/jison,GerHobbelt/jison