diff options
| author | Vittorio Giovara <vittorio.giovara@gmail.com> | 2013-08-28 10:30:14 +0200 |
|---|---|---|
| committer | Luca Barbato <lu_zero@gentoo.org> | 2013-08-31 16:16:38 +0200 |
| commit | f4ca970dba13a60a1334cce1b574036e6f624b9c (patch) | |
| tree | 85f37fb03187be19bc3c32387d15a44910998646 /doc/Makefile | |
| parent | faa8245bd45c1a6dd220ba9407ea1c82132aa1ce (diff) | |
configure: Add docdir configuration option
Signed-off-by: Luca Barbato <lu_zero@gentoo.org>
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 43e463207e..81f098e0b3 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -45,13 +45,20 @@ $(DOCS) doc/doxy/html: | doc/ doc/doxy/html: $(SRC_PATH)/doc/Doxyfile $(INSTHEADERS) $(M)$(SRC_PATH)/doc/doxy-wrapper.sh $(SRC_PATH) $^ -install-progs-$(CONFIG_DOC): install-man +install-progs-$(CONFIG_DOC): install-doc install-man + +install-doc: $(HTMLPAGES) + $(Q)mkdir -p "$(DOCDIR)" + $(INSTALL) -m 644 $(HTMLPAGES) "$(DOCDIR)" install-man: $(MANPAGES) $(Q)mkdir -p "$(MANDIR)/man1" $(INSTALL) -m 644 $(MANPAGES) "$(MANDIR)/man1" -uninstall: uninstall-man +uninstall: uninstall-doc uninstall-man + +uninstall-doc: + $(RM) -r "$(DOCDIR)" uninstall-man: $(RM) $(addprefix "$(MANDIR)/man1/",$(ALLMANPAGES)) |