From 1f0f15f380c205fc4b32a7fcc127e7c1c25255dc Mon Sep 17 00:00:00 2001
From: mark <markm@cs.wisc.edu>
Date: Tue, 2 Jun 2020 19:28:36 -0500
Subject: [PATCH] mention incremental disk space

---
 src/getting-started.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/getting-started.md b/src/getting-started.md
index 5d78e416..3c3781da 100644
--- a/src/getting-started.md
+++ b/src/getting-started.md
@@ -84,6 +84,11 @@ Like `cargo`, the build system will use as many cores as possible. Sometimes
 this can cause you to run low on memory. You can use `-j` to adjust the number
 concurrent jobs.
 
+Also, if you don't have too much free disk space, you may want to turn off
+incremental compilation (see the "Configuring" section below). This will make
+compilation take longer, but will save a ton of space from the incremental
+caches.
+
 ### Cloning
 
 You can just do a normal git clone: