diff --git a/build-agda-html.rb b/build-agda-html.rb
index ecb86d5..b218bde 100644
--- a/build-agda-html.rb
+++ b/build-agda-html.rb
@@ -60,7 +60,7 @@ files_for_paths.each do |path, files|
   FileUtils.mkdir_p html_dir
 
   files.each do |file|
-    command = "#{ARGV[0]} --local-interfaces #{file} --html --html-dir=#{html_dir}"
+    command = "#{ARGV[0]} #{file} --html --html-dir=#{html_dir}"
     puts command
     puts `#{command}`