From b3c8a7a8684d9eb348552700bed0230494acc7cf Mon Sep 17 00:00:00 2001
From: George Melikov <mail@gmelikov.ru>
Date: Tue, 2 Jun 2020 21:14:50 +0300
Subject: [PATCH] Add man pages generation via Makefile

---
 docs/Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/docs/Makefile b/docs/Makefile
index 41dcdbb..d24d2a9 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -20,3 +20,16 @@ html: Makefile
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+# Gen man pages
+ZFS_GIT_REPO = git@github.com:openzfs/zfs.git
+ZFS_GIT_DIR = ./_build/zfs
+
+.PHONY: man
+man:
+	if [ ! -d $(ZFS_GIT_DIR) ]; then \
+		git clone --depth=1 $(ZFS_GIT_REPO) ./_build/zfs ; \
+	else \
+		git -C $(ZFS_GIT_DIR) pull ; \
+	fi
+	../scripts/man_pages.py ./_build/zfs/man ./