--- 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']: