From 82a9097cc021deabe0a72403aee7410c256cd5e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= <daniel@ekloef.se>
Date: Sun, 22 Nov 2020 12:13:32 +0100
Subject: [PATCH] install: no need to run input *that* many times

---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index 0282675e..d18e9c55 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -214,7 +214,7 @@ tmp_file=$(mktemp)
     --attr-italic \
     --attr-underline \
     ${tmp_file}
-./pgo ${tmp_file} ${tmp_file} ${tmp_file} ${tmp_file} ${tmp_file} ${tmp_file}
+./pgo ${tmp_file} ${tmp_file} ${tmp_file}
 rm ${tmp_file}
 ```