From 6dc21da66e1da48bd4c559c5c04f9a855d5e4ab1 Mon Sep 17 00:00:00 2001
From: drew <drew@drewolson.org>
Date: Wed, 29 Jan 2020 12:03:50 -0600
Subject: [PATCH] Make spago the recommended build tool

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 5b42dcb..e3259ee 100644
--- a/index.html
+++ b/index.html
@@ -194,8 +194,8 @@ <h3>npm</h3>
           <p><small>(Installation via <code>npm</code> requires Node version 8 or later)</small></p>
 
           <h3>Tools</h3>
-          <p>The recommended build tool for beginners is Pulp, which can be installed using <code>npm</code>:</p>
-          <p><code>npm install -g pulp bower</code></p>
+          <p>The recommended build tool is Spago, which can be installed using <code>npm</code>:</p>
+          <p><code>npm install -g spago</code></p>
           <p>You might like to install some of these
             <a href="https://github.com/purescript/documentation/blob/master/ecosystem/Editor-and-tool-support.md">additional tools and editor plugins</a>.</p>
         </div>