From d4f40a88574adb989239d00b033fed3f048ec885 Mon Sep 17 00:00:00 2001
From: Robert Konicar <robert.konicar@trailofbits.com>
Date: Fri, 1 Nov 2024 15:49:02 +0100
Subject: [PATCH] www: Add gzip benchmarks.

---
 www/mkdocs.yml | 1 +
 www/setup.sh   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/www/mkdocs.yml b/www/mkdocs.yml
index 4a746d85dd..af99da9253 100644
--- a/www/mkdocs.yml
+++ b/www/mkdocs.yml
@@ -29,6 +29,7 @@ nav:
     - LLVM Single Source: Benchmarks/single-source-results.md
     - SV-Comp: Benchmarks/sv-comp-results.md
     - Linux Kernel 6.11: Benchmarks/linux_kernel_times.md
+    - GZIP: Benchmarks/gzip_times.md
   - About:
     - 'License': 'statement.md'
 
diff --git a/www/setup.sh b/www/setup.sh
index 7ae6cd7490..5944d56779 100644
--- a/www/setup.sh
+++ b/www/setup.sh
@@ -50,6 +50,7 @@ fi
 cp -rv $(pwd)/llvm-test-suite-results/single-source-results.md $dst/docs/Benchmarks/
 cp -rv $(pwd)/sv-comp-results/sv-comp-results.md $dst/docs/Benchmarks/
 cp -rv $(pwd)/linux_kernel_times/linux_kernel_times.md $dst/docs/Benchmarks/
+cp -rv $(pwd)/gzip_times/gzip_times.md $dst/docs/Benchmarks/
 
 # Setup site assets
 cp -rv $(pwd)/www/assets $dst