# HG changeset patch
# User Anton Shestakov <av6@dwimlabs.net>
# Date 1594121787 -28800
# Node ID 18a6f5ffab1b15740848e44c86a7b79a6230a1d8
# Parent  38de9f5f5b402ed3587f78a1c1d4b43b5e02f7db
makefile: add doc target, since it's easy enough

diff -r 38de9f5f5b40 -r 18a6f5ffab1b Makefile
--- a/Makefile	Tue Jul 07 19:16:12 2020 +0800
+++ b/Makefile	Tue Jul 07 19:36:27 2020 +0800
@@ -25,6 +25,9 @@
 install-home:
 	$(PYTHON) setup.py install --home="$(HOME)" --prefix="" --force
 
+doc:
+	$(MAKE) -C docs
+
 _check_hgroot:
 ifeq ($(HGROOT),)
 	$(error HGROOT is not set to the root of the hg source tree)