1 files changed, 1 insertions, 1 deletions

diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl
index 8b5e37bcfc..300557c2e1 100755
--- a/tools/release/manuals.pl
+++ b/tools/release/manuals.pl
@@ -75,7 +75,7 @@ sub buildit {
 `(cd tools && make ) >/dev/null 2>&1`;
 
 for my $b (&stablebuilds) {
-    next if ($builds{$b}{configname} < 3); # no variants
+    next if (length($builds{$b}{configname}) > 0); # no variants
 
     runone($b);
 }