From efc32138ac2da87b854cda670b3c7ac783d90320 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 3 Feb 2020 10:38:39 -0800
Subject: [PATCH] ;make manuals-watch

[ci skip]
---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 1295b26c0..efab97002 100644
--- a/Makefile
+++ b/Makefile
@@ -727,11 +727,16 @@ haddock: \
 # # 	cd site/api && \
 # # 	hoogle --convert=main.txt --output=default.hoo
 
+# flaky
 site-watch: Shake
 		$(call def-help,site-watch, open a browser on the website (in ./site) and rerender/reload when manuals or site content changes  )
 	(ls $(DOCSOURCEFILES) | entr ./Shake -VV manuals) &
 	make -C site html-watch
 
+manuals-watch: Shake
+		$(call def-help,manuals-watch, rerender manuals when their source files change  )
+	ls $(DOCSOURCEFILES) | entr ./Shake -VV manuals
+
 # This rule, for updating the live hledger.org site, gets called by:
 # 1. github-post-receive (github webhook handler), when something is pushed
 #    to the main or wiki repos on Github. Config: