make: doc: clean up dist Makefile
Merge pull request #1858 from OlegHahm/dist_makefile

make: doc: clean up dist Makefile