more cleanup in docs/Makefile, more variables and less copy-paste