diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2016-03-12 23:43:19 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2016-03-12 23:43:19 +0100 |
commit | b89ff54eb28bbbf25d3bf6634a6055d014beaebf (patch) | |
tree | 13bbfa9ae2bda0f12b120c927704f715e7bf2392 /Makefile | |
parent | 57fea56536c93a9727316536001ee37da0d12e60 (diff) | |
parent | 4e58fda1ae50b7fce11c567dc23dc814ce948e22 (diff) |
Merge branch 'master' into debian
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -all: pullimap.1 +all: pullimap.1 interimap.1 # upper case the headers and remove the links %.1: %.md @@ -24,6 +24,6 @@ all: pullimap.1 install: clean: - rm -f pullimap.1 + rm -f pullimap.1 interimap.1 .PHONY: all install clean |