diff --git a/Benchmark_instances/developer_scripts/create_bench_webpage b/Benchmark_instances/developer_scripts/create_bench_webpage index 5335563e191..de24731d823 100755 --- a/Benchmark_instances/developer_scripts/create_bench_webpage +++ b/Benchmark_instances/developer_scripts/create_bench_webpage @@ -99,7 +99,7 @@ sub parse_description { &check_unique_filenames; -$html='Benchmark_instaces/out_html'; +$html='Benchmark_instances/out_html'; system "rm -rf $html"; system "mkdir -p $html/data";