diff options
| author | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2020-02-24 21:18:54 +0200 |
|---|---|---|
| committer | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2020-02-24 21:18:54 +0200 |
| commit | 06c9b17a4eea0dde847c998cc64d5564ffcd186e (patch) | |
| tree | a965d9ed99485ea24de74fd24dcc9ed57da74b1f /man | |
| parent | 934adae70ae6eda5236529d3c65009e7ba87309d (diff) | |
mu: remove mfind command
Better document what find does instead.
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index c5ce281..e055600 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -34,14 +34,4 @@ dist_man_MANS = \ mu-script.1 \ mu-verify.1 \ mu-view.1 \ - mu.1 \ - $(BUILT_SOURCES) - -BUILT_SOURCES= \ - mu-mfind.1 - -mu-mfind.1: mu-find.1 - cp -f $< $@ - -CLEANFILES= \ - $(BUILT_SOURCES) + mu.1 |