From e7399160c053232b95e1b05ba78541faf1aa64fe Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Wed, 13 Mar 2013 01:02:29 +0100 Subject: [PATCH] Add option to export HTML documents. --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index d54d65f7..1cf9ac1c 100644 --- a/Makefile +++ b/Makefile @@ -2,6 +2,9 @@ include Makeconfig DESTDIR= +# Export HTML documents to this directory. +HTML_DOCS_DIR = html + prefix=/usr bindir=$(prefix)/bin sbindir=$(prefix)/sbin @@ -127,3 +130,5 @@ dist: .PHONY: export-html-docs export-html-docs: $(MAN_PAGES_HTML) + mkdir -pv $(HTML_DOCS_DIR) + cp -vf $^ $(HTML_DOCS_DIR) -- 2.47.2