build: Rename target "tarball" to "dist".
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 18 Jul 2016 18:02:49 +0000 (20:02 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 8 Jan 2017 12:58:54 +0000 (13:58 +0100)
commitc3c958098baca5651e7bfd6b68ffda475ce671fa
tree2cc929e476142cabce3fbb719c9065f8aa098c7e
parent9f3fe55418589acab8dfb809e787f15a46f7d174
build: Rename target "tarball" to "dist".

This is the name suggested in the make manual.  We keep "tarball"
target for a while though to not break existing scripts.
Makefile.real