diff options
author | Eric Wong <e@80x24.org> | 2019-10-28 10:45:28 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-30 09:13:41 +0000 |
commit | 4da1c13914d958807fe9ef347d3a6abf7b129b62 (patch) | |
tree | 31da0af21a03097244883776e1f800f6680b06ca /Documentation/include.mk | |
parent | 74a3206babe0572a1494500d21267a31873af7b0 (diff) | |
download | public-inbox-4da1c13914d958807fe9ef347d3a6abf7b129b62.tar.gz |
Tools intended for end users need manpages.
Diffstat (limited to 'Documentation/include.mk')
-rw-r--r-- | Documentation/include.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index d2357ffc..bb622c1a 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -41,6 +41,7 @@ m1 += public-inbox-edit m1 += public-inbox-httpd m1 += public-inbox-index m1 += public-inbox-init +m1 += public-inbox-learn m1 += public-inbox-mda m1 += public-inbox-nntpd m1 += public-inbox-watch |