From 33a5ccc316da8ffdedd6eae4a8ff498fe991611a Mon Sep 17 00:00:00 2001 From: Alberto Mercurio Date: Wed, 24 Jul 2024 19:55:31 +0200 Subject: [PATCH] Remove benchmarks page from website menu --- docs/make.jl | 1 - docs/src/benchmarks/benchmark_history.md | 16 ---------------- 2 files changed, 17 deletions(-) delete mode 100644 docs/src/benchmarks/benchmark_history.md diff --git a/docs/make.jl b/docs/make.jl index db1d14af..01d5a01d 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -48,7 +48,6 @@ const PAGES = [ "tutorials/logo.md", ], ], - "Solver Benchmarks" => "benchmarks/benchmark_history.md", "API" => "api.md", # "Change Log" => "changelog.md", ] diff --git a/docs/src/benchmarks/benchmark_history.md b/docs/src/benchmarks/benchmark_history.md deleted file mode 100644 index 6d2fee83..00000000 --- a/docs/src/benchmarks/benchmark_history.md +++ /dev/null @@ -1,16 +0,0 @@ -```@raw html - - - - - -```