From 7d3c66859cd3fe8ac6d4e6a3ce4c5a110e22ea93 Mon Sep 17 00:00:00 2001
From: Darko Poljak <darko.poljak@gmail.com>
Date: Thu, 30 Jun 2016 12:18:42 +0200
Subject: [PATCH] Separate man pages by section number.

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

diff --git a/docs/man/Makefile b/docs/man/Makefile
index bec5d97f..800a80d8 100644
--- a/docs/man/Makefile
+++ b/docs/man/Makefile
@@ -165,6 +165,10 @@ text:
 .PHONY: man
 man:
 	$(SPHINXBUILD) -b cman $(ALLSPHINXOPTS) $(BUILDDIR)/man
+	mkdir -p $(BUILDDIR)/man/man1
+	mkdir -p $(BUILDDIR)/man/man7
+	mv -f $(BUILDDIR)/man/*.1 $(BUILDDIR)/man/man1/
+	mv -f $(BUILDDIR)/man/*.7 $(BUILDDIR)/man/man7/
 	@echo
 	@echo "Build finished. The manual pages are in $(BUILDDIR)/man."