diff options
| -rw-r--r-- | doc/user/troubleshoot.xml | 2 |
1 files changed, 2 insertions, 0 deletions
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. + </para> + <para> Note that you can also use --warn=target-not-built which checks whether or not expected targets exist after a build rule is |