Configuration tweaks

404.html

@@ -26,9 +26,9 @@ <h1>404</h1>
 
 <script type="text/javascript">
   if (location.pathname === '/cf/manual/') {
-    location.replace('/cf/manual/manual.html');
+    location.replace('/cf/manual/', '/cf/manual/manual.html');
   }
   if (location.pathname === '/afu/') {
-    location.replace('/afu/annotation-file-utilities.html');
+    location.replace('/afu/', '/afu/annotation-file-utilities.html');
   }
 </script>

_config.yml

@@ -3,14 +3,14 @@
 # https://learn-the-web.algonquindesign.ca/topics/markdown-yaml-cheat-sheet/#yaml
 # https://learnxinyminutes.com/docs/yaml/
 
-title: EISOP Framework
+title: EISOP Checker Framework
 email: wdietl@uwaterloo.ca
   # description: >- # this means to ignore newlines until "baseurl:"
   # The Enforcing, Inferring, and Synthesizing Optional Properties (EISOP) Framework project aims to provide a unified framework for optional properties in Java.
 #baseurl: ""
-url: "" # the base hostname & protocol for your site, e.g. http://example.com
-twitter_username: jekyllrb
-github_username:  jekyll
+url: "https://eisop.github.io/"
+twitter_username: wmdietl
+github_username:  wmdietl
 
 # Build settings
 #theme: minima

cf-template.md

@@ -5,10 +5,8 @@
 layout: default
 ---
 
- The Checker Framework  ![Checker Framework logo](CFLogo.png)
-
-The Checker Framework
-=====================
+The EISOP Checker Framework  ![Checker Framework logo](CFLogo.png)
+===========================
 
 Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field?
 
@@ -79,4 +77,4 @@ Another way to help is to tell your friends and colleagues about the usefulness
 
 * * *
 
-Last updated: $LatestCheckerFrameworkReleaseDate
+Last updated: $LatestCheckerFrameworkReleaseDate