Add option to export HTML documents.

diff --git a/Makefile b/Makefile
index d54d65f76fe653d73be71ff246903f658090ef1a..1cf9ac1c42282689da42583b89d9798b1134ef40 100644 (file)
--- 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)