diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile index 6ce9d42..d976d8d 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,9 +1,19 @@ .POSIX: -PREFIX = /usr/local +prefix = /usr/local +datarootdir = $(prefix)/share +mandir = $(datarootdir)/man all: install: all - +cd man3 && $(MAKE) PREFIX=$(PREFIX) install - +cd man7 && $(MAKE) PREFIX=$(PREFIX) install + +cd man3 && $(MAKE) install \ + DESTDIR=$(DESTDIR) \ + prefix=$(prefix) \ + datarootdir=$(datarootdir) \ + mandir=$(mandir) + +cd man7 && $(MAKE) install \ + DESTDIR=$(DESTDIR) \ + prefix=$(prefix) \ + datarootdir=$(datarootdir) \ + mandir=$(mandir) |