summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--docs/makedocs.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/makedocs.pl b/docs/makedocs.pl
index 818f45e41..b636a2f37 100644
--- a/docs/makedocs.pl
+++ b/docs/makedocs.pl
@@ -190,7 +190,7 @@ MakeDocs('big HTML', "jade -V nochunks -t sgml -i html -d " .
MakeDocs('big text', "lynx -dump -justify=off -nolist Bugzilla-Guide.html " .
"> ../txt/Bugzilla-Guide.txt");
-if (! grep("--with-pdf", @ARGV)) {
+if (! grep($_ eq "--with-pdf", @ARGV)) {
exit;
}