diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-03-16 15:24:10 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-03-16 15:24:10 (EDT) |
commit | 9188769119415bebc1136890cf317da0bbabfc1c (patch) | |
tree | 912db2da545482e8001732fb7b58b132dfac8a83 | |
parent | 29ee4ea242bd2f6198b06fa3ba2182f0fd96c6c0 (diff) |
man/local.mk: Distribute section-7 manual pages
-rw-r--r-- | man/local.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/man/local.mk b/man/local.mk index f14ff64..14b4060 100644 --- a/man/local.mk +++ b/man/local.mk @@ -67,7 +67,8 @@ CLEANFILES += \ $(man1_MANS) \ $(man3_MANS) EXTRA_DIST += \ - $(man1_sources) + $(man1_sources) \ + $(man7_sources) man_subst = sed \ -e "s|[@]SOURCE[@]|$(PACKAGE_STRING)|g" \ |