From 7cf7d94bbab95038234ed8440e81fb84b0e72b86 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Mon, 11 Jun 2018 06:31:23 +0530
Subject: [PATCH] Add a make docs Makefile target

Fixes #622
---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index ad4e4722b..b586c0053 100644
--- a/Makefile
+++ b/Makefile
@@ -38,3 +38,5 @@ man:
 
 html:
 	$(MAKE) FAIL_WARN=$(FAIL_WARN) -C docs html
+
+docs: man html