diff --git a/src/emu/wscript b/src/emu/wscript index 798ae8d15..08c0ceee0 100644 --- a/src/emu/wscript +++ b/src/emu/wscript @@ -26,7 +26,6 @@ def build(bld): headers = bld.new_task_gen('ns3header') headers.module = 'emu' headers.source = [ - 'doc/emu.h', ] if not bld.env['ENABLE_EMU']: