Website updates (#5)

Co-authored-by: Werner Dietl <[email protected]>
eisop · Jul 7, 2024 · 40c0aec · 40c0aec
1 parent 4811ab6
commit 40c0aec
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/src/main/java/io/github/eisop/website/EisopSiteGenerator.java b/src/main/java/io/github/eisop/website/EisopSiteGenerator.java
@@ -161,6 +161,9 @@ public static void main(String[] args) throws IOException {
                 e.printStackTrace();
             }
 
+            File releaseOrg = new File(String.valueOf(javadocFolder) + "/checker-javadoc/org");
+            FileUtils.moveDirectoryToDirectory(releaseOrg, javadocFolder, false);
+
             // Move index.html
             //            File releaseHTML = new File(String.valueOf(releaseFolder) +
             // "/docs/tutorial/index.html");
@@ -305,6 +308,16 @@ public static void main(String[] args) throws IOException {
 
         System.out.println("Latest release: " + String.valueOf(latestRelease));
 
+        // Rename cf/manual/manual.pdf to cf/manual/checker-framework-manual.pdf
+        File manualPDF = new File(String.valueOf(directoryPath) + "/manual/manual.pdf");
+        File checkerFrameworkManualPDF = new File(String.valueOf(directoryPath) + "/manual/checker-framework-manual.pdf");
+        FileUtils.copyFile(manualPDF, checkerFrameworkManualPDF);
+
+        // Copy CFLogo.png to cf/
+        File cfLogo = new File(String.valueOf(latestRelease) + "/tutorial/CFLogo.png");
+        File newCFLogo = new File(System.getProperty("user.dir") + "/cf/CFLogo.png");
+        FileUtils.copyFile(cfLogo, newCFLogo);
+
         getAFU();
     }