changeset 5384:18a6f5ffab1b

makefile: add doc target, since it's easy enough
author Anton Shestakov <av6@dwimlabs.net>
date Tue, 07 Jul 2020 19:36:27 +0800
parents 38de9f5f5b40
children 5be8fb87ef28
files Makefile
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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)