diff --git a/collects/meta/web/build.rkt b/collects/meta/web/build.rkt
index e0caf1cf5d..ad54577c21 100755
--- a/collects/meta/web/build.rkt
+++ b/collects/meta/web/build.rkt
@@ -34,7 +34,7 @@ exec "$exe" "$0" "$@"
   (unless (directory-exists? dir)
     (printf "Creating \"~a\"\n" dir) (make-directory dir))
   (set! output-dir dir)]
- [("-f")
+ [("-f" "--force")
   "avoid warning about directory cleanup"
   (set! warn? #f)]
  [("-d" "--dist")