makefile

-changed git usage about documentation generation
 stash feature is not used anymore; diff and apply are used
makefile

-removed trailing empty lines