diff options
author | Eric Wong <e@80x24.org> | 2019-06-09 09:10:26 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-06-10 02:42:17 +0000 |
commit | 4a5938c8e5bbfb02a87787109e9ce2d13cc9ca4e (patch) | |
tree | 570d53b3bf0dbdfcc1e0beb0facb1c475d529d6a /Documentation | |
parent | 5a4caaca8f52799844d0baf93b8c2595edb04f2b (diff) | |
download | public-inbox-4a5938c8e5bbfb02a87787109e9ce2d13cc9ca4e.tar.gz |
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/include.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index b064f295..89c1fd90 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -150,7 +150,7 @@ rsync-doc: $(RSYNC) --chmod=Fugo=r -av $(rsync_docs) $(rsync_xdocs) $(RSYNC_DEST) clean-doc: - $(RM) $(man1) $(man5) $(man7) $(gz_docs) $(docs_html) $(mantxt) + $(RM) $(man1) $(man5) $(man7) $(man8) $(gz_docs) $(docs_html) $(mantxt) $(RM) $(gz_xdocs) $(xdocs_html) $(xdocs) clean :: clean-doc |