diff options
| author |  David Bremner <bremner@debian.org> | 2011-12-20 16:35:13 -0400 |
|---|---|---|
| committer | David Bremner <bremner@debian.org> | 2011-12-31 15:16:32 -0400 |
| commit | af12e5a3ac887cd7dde344f67d9d43688e78e295 (patch) | |
| tree | c9eae15b94643cfaa801fbf12a7f5eebf9817c06 /man/Makefile | |
| parent | 7c5695b439d89d69d5f6d6a88cdcf964d7a98fbe (diff) | |
build-system: update for split man pages
- We have to remove the installation of notmuch.1.gz from the top
level Makefile.local.
- Man pages with multiple names are handled by making relative
symlinks in the install-man target.
- update version tests and convenience rules for split man pages
The man page version test still only checks notmuch.1, but the
location is updated.
update-man-versions is longer than the one-line previously in
update-versions mainly because I decided to take the high road and
stick to POSIX sed (thus, no sed -i). The sed regex itself is more
complicated to cope with variations in the headers.
Diffstat (limited to 'man/Makefile')
| -rw-r--r-- | man/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man/Makefile b/man/Makefile new file mode 100644 index 00000000..fa25832e --- /dev/null +++ b/man/Makefile @@ -0,0 +1,5 @@ +all: + $(MAKE) -C .. all + +.DEFAULT: + $(MAKE) -C .. $@ |