wscript
changeset 4770 d21013536be3
parent 4769 20b06b8aa302
child 4773 904c1803d5dc
--- a/wscript	Wed Sep 09 11:31:16 2009 +0100
+++ b/wscript	Wed Sep 09 11:32:50 2009 +0100
@@ -141,6 +141,11 @@
                    help=('Run doxygen to generate html documentation from source comments'),
                    action="store_true", default=False,
                    dest='doxygen')
+    opt.add_option('--doxygen-no-build',
+                   help=('Run doxygen to generate html documentation from source comments, '
+                         'but do not wait for ns-3 to finish the full build.'),
+                   action="store_true", default=False,
+                   dest='doxygen_no_build')
 
     opt.add_option('--run',
                    help=('Run a locally built program; argument can be a program name,'
@@ -560,6 +565,9 @@
             Options.options.compile_targets += ',ns3module'
         _run_check(bld)
 
+    if Options.options.doxygen_no_build:
+        doxygen()
+        raise SystemExit(0)
 
 def shutdown(ctx):
     bld = wutils.bld