From c0f3e02aff6df153cf6d68f5c24bfbd2ad8a3b45 Mon Sep 17 00:00:00 2001 From: Eric Berberich Date: Fri, 23 Mar 2007 14:21:50 +0000 Subject: [PATCH] fixed directory --- Benchmark_instances/developer_scripts/create_bench_webpage | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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";