aboutsummaryrefslogtreecommitdiffhomepage
path: root/man/Makefile
diff options
context:
space:
mode:
authorGravatar David Bremner <bremner@debian.org>2011-12-20 16:35:13 -0400
committerGravatar David Bremner <bremner@debian.org>2011-12-31 15:16:32 -0400
commitaf12e5a3ac887cd7dde344f67d9d43688e78e295 (patch)
treec9eae15b94643cfaa801fbf12a7f5eebf9817c06 /man/Makefile
parent7c5695b439d89d69d5f6d6a88cdcf964d7a98fbe (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/Makefile5
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 .. $@