src/emu/wscript
changeset 7282 1277804caf93
parent 7244 1a9428ead071
child 7291 d39c09dbc3d9
--- a/src/emu/wscript	Wed May 25 00:48:43 2011 -0700
+++ b/src/emu/wscript	Wed May 25 00:50:35 2011 -0700
@@ -26,7 +26,6 @@
     headers = bld.new_task_gen('ns3header')
     headers.module = 'emu'
     headers.source = [
-        'doc/emu.h',
         ]
 
     if not bld.env['ENABLE_EMU']: