1 files changed, 0 insertions, 1 deletions

diff --git a/wscript b/wscript
index 2fd8bbd905..d9cebcd873 100644
--- a/wscript
+++ b/wscript
@@ -46,7 +46,6 @@ children = [
         'export',
         'midi_maps',
         'mcp',
-        'manual',
         'patchfiles'
 ]