We have removed the benchmarks from the distribution

This commit is contained in:
jjgarcia 2005-10-20 10:11:38 +00:00
parent b176ac3809
commit bbb6b6d0a3

View file

@ -118,11 +118,11 @@ install.html: $(srcdir)/install.in.html head
news.html: head
(cat head; echo '<pre>'; cat $(srcdir)/../../ANNOUNCEMENT| sed -e '1d'; echo '</pre>' \
cat $(srcdir)/end) | $(FILTER) > $@
benchmark.html: $(srcdir)/benchmark.in.html ../gabriel/BENCHMARK head
benchmark.html: $(srcdir)/benchmark.in.html BENCHMARK head
(cat head; cat $(srcdir)/benchmark.in.html; \
echo '<pre>'; cat ../gabriel/BENCHMARK; echo '</pre>'; \
echo '<pre>'; cat BENCHMARK; echo '</pre>'; \
cat $(srcdir)/end) | $(FILTER) > $@
../gabriel/BENCHMARK:
BENCHMARK:
echo "No benchmarks available" > $@
license.html: $(top_srcdir)/../Copyright head
(cat head; \