+website:
+ $(CC) $(DOWNLOAD) -o html.gen
+ @./html.gen ../
+ @rm html.gen
+ @git stash
+ @git checkout gh-pages
+ @rm -f ../download.html
+ @mv -f download.html ../download.html
+ @cd ..; git add download.html; git commit -m 'update download page'; git push origin gh-pages;
+ @git checkout $(BRANCH)
+ @git stash apply
+