From 8aff0aea49e6373d98f24f45b2fa692f465d1f2a Mon Sep 17 00:00:00 2001
From: Samuel Crow <42583985+samuelkcrow@users.noreply.github.com>
Date: Sun, 12 Feb 2023 11:00:22 -0800
Subject: [PATCH] make sky130 setup its own section

---
 docs/source/basic_setup.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/basic_setup.md b/docs/source/basic_setup.md
index 4154d321..092ef29a 100644
--- a/docs/source/basic_setup.md
+++ b/docs/source/basic_setup.md
@@ -99,7 +99,7 @@ entire [FreePDK45 PDK here][FreePDK45].
 
 
 
-### Sky130 Setup
+## Sky130 Setup
 
 To install [Sky130], you must have open\_pdks installed in $PDK\_ROOT. We highly recommend that you
 use the version tagged in the Makefile as others have not been verified.