diff options
| -rw-r--r-- | docs/makedocs.pl | 2 |
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; } |