From 40c0aec9914f8fde93758c1d2f4b39c7c2c13575 Mon Sep 17 00:00:00 2001 From: Luc Edes Date: Sun, 7 Jul 2024 18:37:46 -0400 Subject: [PATCH] Website updates (#5) Co-authored-by: Werner Dietl --- .../io/github/eisop/website/EisopSiteGenerator.java | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/main/java/io/github/eisop/website/EisopSiteGenerator.java b/src/main/java/io/github/eisop/website/EisopSiteGenerator.java index c30317cac..6d9b88fd0 100644 --- 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(); }