diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-03-18 02:54:38 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-03-18 02:54:38 (EDT) |
commit | 52d10206014ecaedf80b05d57e33ebbb9968fe6d (patch) | |
tree | 6fb820c33cacba6d5de37adc62dd63ddce8fa56c | |
parent | 6ee3881a88e7dcd3c57763d16d8bf8d6321be5aa (diff) |
man/local.mk: Clean $(man7_MANS)
-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 14b4060..fbdf532 100644 --- a/man/local.mk +++ b/man/local.mk @@ -65,7 +65,8 @@ SUFFIXES += .1in .1 .7in .7 CLEANFILES += \ %reldir%/Tags \ $(man1_MANS) \ - $(man3_MANS) + $(man3_MANS) \ + $(man7_MANS) EXTRA_DIST += \ $(man1_sources) \ $(man7_sources) |