Makefile.in: generate manpages for "make dist"
commit165eead3b83ff8da62d506bffb37f46a156d711b
authorH. Peter Anvin <hpa@zytor.com>
Thu, 24 Oct 2013 12:25:51 +0000 (24 13:25 +0100)
committerH. Peter Anvin <hpa@zytor.com>
Thu, 24 Oct 2013 12:25:51 +0000 (24 13:25 +0100)
tree174f4f11fbe7dab558ba79d62397542a836eff43
parentd089c2251ba82f363ae1332c34ef6e61bb0cd3aa
Makefile.in: generate manpages for "make dist"

Make sure the "dist" target generates the man pages.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Makefile.in