From abec7c8c531817d20185f9c758f3ca7316b1207b Mon Sep 17 00:00:00 2001 From: Tom Tanner Date: Mon, 4 Nov 2013 10:21:47 +0000 Subject: Fix a missing which became didn't become apparent till I created the pull request. --- doc/user/troubleshoot.xml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/user/troubleshoot.xml b/doc/user/troubleshoot.xml index 634c7a6..b609855 100644 --- a/doc/user/troubleshoot.xml +++ b/doc/user/troubleshoot.xml @@ -157,6 +157,8 @@ file.in that something was wrong with the command that we invoked to build it. + + Note that you can also use --warn=target-not-built which checks whether or not expected targets exist after a build rule is -- cgit v0.12