Merge pull request #9734 from cotequeiroz/tang_noman
authorRosen Penev <rosenp@gmail.com>
Mon, 19 Aug 2019 07:54:55 +0000 (00:54 -0700)
committerGitHub <noreply@github.com>
Mon, 19 Aug 2019 07:54:55 +0000 (00:54 -0700)
tang: do not build manpages


Trivial merge