From 1da60b3b28fae3af20a650c86394389be1026a28 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Fri, 24 May 2024 13:17:44 -0700
Subject: [PATCH] Print result of executing command

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 build-agda-html.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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