build: Remove duplicate dependency.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 16 Jul 2016 10:14:50 +0000 (12:14 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 26 Mar 2017 09:02:28 +0000 (11:02 +0200)
commit6ada557fe7963d41fbcfe1dd12b320fcd1a0c36c
tree2678efbb22025ebe9aec36b040d9d95b4cd56a26
parente43ca5dad846ed131404677a8ef9955ff5f55aff
build: Remove duplicate dependency.

We already defined the dependency on $(man_util_command_lists) a few
lines earlier.
Makefile.real