diff options
| -rw-r--r-- | docs/dist/doc/examples/build.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/dist/doc/examples/build.xml b/docs/dist/doc/examples/build.xml index 0797e898f..37c1dede8 100644 --- a/docs/dist/doc/examples/build.xml +++ b/docs/dist/doc/examples/build.xml @@ -161,13 +161,13 @@ depends="bean,intro,intro-clone,intro-compare,intro-hash, observer,spacewar,spacewar-demo,telecom, telecom-timing,tracing-none,tracing-1, - tracing-2,tracing-3,tjp"/> + tracing-2,tracing-3,tracing-lt,tjp"/> <target name="nonGui" description="build and run non-GUI examples" depends="bean,intro,intro-clone,intro-compare,intro-hash, telecom,telecom-timing,tracing-none,tracing-1, - tracing-2,tracing-3,tjp"/> + tracing-2,tracing-3,tracing-lt,tjp"/> <target name="bean" description="build bean example"> |