From 425a1f0df64d016128a98098b30f7d0e1ebd8de8 Mon Sep 17 00:00:00 2001 From: Tom Tanner Date: Mon, 4 Nov 2013 10:24:31 +0000 Subject: Another problem with tags. --- doc/user/troubleshoot.xml | 3 --- 1 file changed, 3 deletions(-) diff --git a/doc/user/troubleshoot.xml b/doc/user/troubleshoot.xml index b60985513..65c919942 100644 --- a/doc/user/troubleshoot.xml +++ b/doc/user/troubleshoot.xml @@ -165,13 +165,10 @@ file.in executed. - scons -Q --warn=target-not-built - - The &debug-explain; option also comes in handy -- cgit v1.2.1