From dbc1ebe06a44b946ac110ff8e1e717be08e41d8c Mon Sep 17 00:00:00 2001
From: Rusty Russell <rusty@rustcorp.com.au>
Date: Thu, 22 Aug 2019 15:47:24 +0930
Subject: [PATCH] Makefile: fix race when checking manpages.

By not depending on plugins, we can call lightningd before plugins are
built, and not get all options:

    diff of command names vs manpage names:
    --- /dev/fd/63  2019-08-22 05:06:55.265659216 +0000
    +++ /dev/fd/62  2019-08-22 05:06:55.265659216 +0000
    @@ -3,6 +3,8 @@
     allow-deprecated-apis=
     always-use-proxy=
     announce-addr=
    +autocleaninvoice-cycle=
    +autocleaninvoice-expired-by=
     autolisten=
     bind-addr=
     bitcoin-cli=

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
---
 doc/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 0c5350cfd..67aafb2fd 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -78,7 +78,8 @@ maintainer-clean: doc-maintainer-clean
 clean: doc-clean
 check: check-manpages
 
-check-manpages: cli/lightning-cli lightningd/lightningd
+# This needs plugins, too.
+check-manpages: all-programs
 	@tools/check-manpage.sh cli/lightning-cli doc/lightning-cli.1.md
 	@tools/check-manpage.sh "lightningd/lightningd --lightning-dir=/tmp/" doc/lightningd-config.5.md