From 8de5d093d8e35b2492c81015dcfcb052d2718614 Mon Sep 17 00:00:00 2001
From: Vincent Ambo <tazjin@google.com>
Date: Fri, 20 Dec 2019 20:37:02 +0000
Subject: refactor: Fix a variety of filepaths for repo relayouting

This fixes readTree and the various project builds, as well
as (hopefully) most documentation links inside of the projects.
---
 .envrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.envrc')

diff --git a/.envrc b/.envrc
index 6b3ce7ebbb..b943eb62a6 100644
--- a/.envrc
+++ b/.envrc
@@ -1,7 +1,7 @@
 # Configure the local PATH to contain tools which are fetched ad-hoc
 # from Nix.
 
-export PATH="${PWD}/tools/bin:${PATH}"
+export PATH="${PWD}/bin:${PATH}"
 export NIX_PATH="nixpkgs=${PWD}/default.nix"
 export REPO_ROOT="${PWD}"
 export SECRETS_DIR="${PWD}/secrets"
-- 
cgit 1.4.1