Makefile: release: really drop build/docs from release tarball
authorPeter Korsgaard <peter@korsgaard.com>
Fri, 29 Mar 2019 21:19:35 +0000 (22:19 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Fri, 29 Mar 2019 22:09:41 +0000 (23:09 +0100)
commitc24faa81e859a773c72a84dca1eadffd1ddeffcf
tree85773b7f82253a90838ae275cc2f6aae617fc489
parenta9b95112f1978f8fc628577c3f6c30496b36b354
Makefile: release: really drop build/docs from release tarball

Commit 15cb98769e4 (release: remove manual build files from release
tarballs) tried to remove the temporary files from the manual build from the
release tarball, but manual-clean only removes build/docs/manual and leaves
build/docs in the tarball.

Instead use 'make clean' to completely remove the build directory from the
tarball.

Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Makefile