diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..9491e13 --- /dev/null +++ b/Makefile @@ -0,0 +1,11 @@ +MANPAGES=mdmv.1 mbox2maildir.1 notmuch-slurp-debbug.1 + +all: $(MANPAGES) + +clean: + rm -f $(MANPAGES) + +%.1: %.1.pod + pod2man --section=1 --date="Debian Project" --center="User Commands" \ + --name=$(subst .1,,$@) \ + $^ $@ |