From 597831a50f34b1e0924c14d6e26a6ad2fa851855 Mon Sep 17 00:00:00 2001 From: Akihiro MOTOKI Date: Thu, 22 Jan 2015 12:57:54 +0900 Subject: [PATCH] autogen_manpages.sh: Run make before watchmedo --- tools/autogen_manpages.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/autogen_manpages.sh b/tools/autogen_manpages.sh index d976befa..cb15ee01 100755 --- a/tools/autogen_manpages.sh +++ b/tools/autogen_manpages.sh @@ -1,6 +1,6 @@ #!/bin/sh -THRESH=60 +THRESH=80 SCRIPT_DIR=$(cd $(dirname $0) && pwd) @@ -21,6 +21,9 @@ if [ $? -ne 0 ]; then pip install watchdog fi +# Ensure all pending manpage generations are done +make + echo 'Starting watchmedo to generate draft pages automatically...' watchmedo shell-command \ --command "make THRESH=$THRESH; date; echo" \ -- 2.11.0