diff --git a/build-agda-html.rb b/build-agda-html.rb
index e6582d0..4cc3d8a 100644
--- a/build-agda-html.rb
+++ b/build-agda-html.rb
@@ -59,7 +59,7 @@ files_for_paths.each do |path, files|
   files.each do |file|
     command = "#{ARGV[0]} --local-interfaces #{file} --html --html-dir=#{html_dir}"
     puts command
-    `#{command}`
+    puts `#{command}`
 
     # Allow some programs to fail (e.g., IO.agda in SPA without --guardedness)
     # fail unless $? == 0