From 30652098f5632d7618511a3beaca15f7d5c46e80 Mon Sep 17 00:00:00 2001
From: Sravan Balaji <balajsra@umich.edu>
Date: Mon, 6 Jan 2020 19:16:22 -0500
Subject: [PATCH] Minor Typo Fix

---
 Web Pages/documentation.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Web Pages/documentation.html b/Web Pages/documentation.html
index bec05df..a0ef868 100644
--- a/Web Pages/documentation.html	
+++ b/Web Pages/documentation.html	
@@ -79,7 +79,7 @@
                             up at the domain I purchased. Per <a href="https://vesikar.com/" target="_blank">Yash Vesikar</a>'s recommendation, I looked into <a href="https://pages.github.com/" target="_blank">GitHub Pages</a>
                             to host my website directly from a GitHub repository. This comes with the added benefit that changes are live as soon as you push them to the <b>master</b> branch
                             of your &lt;username&gt;.github.io repository. I found <a href="https://trentyang.com/how-to-setup-google-domain-for-github-pages/" target="_blank">Trent Yang's post</a>
-                            about setting up Google Domain for GitHub pages very useful.
+                            about setting up Google Domains for GitHub pages very useful.
                         </p>
                     </div>
                 </div>