1 files changed, 1 insertions, 1 deletions

diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl
index 300557c2e1..3992da53d2 100755
--- a/tools/release/manuals.pl
+++ b/tools/release/manuals.pl
@@ -59,7 +59,7 @@ sub buildit {
 
     `rm -rf * >/dev/null 2>&1`;
 
-    my $c = "../tools/configure --target=$target --type=m";
+    my $c = "../tools/configure --target=$target --type=m --ram=0";
 
     print "C: $c\n" if($verbose);
     `$c`;