GitLab

We don't build any docs in nofib

It looks like it wasn't working anyway.

We now do something similar to what the testsuite does.

It was always YES anyway

It no longer exists

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

This is what we recommend people to use for best performance, so we
should use it in our benchmarks.

The benchmark is not enabled by default as the runstdtest.prl script
doesn't find the automated stdout files on the first run, thus requiring
make to be run twice.

Newer versions (corresponding to what's currently on the shootout page)
have been added under nofib/shootout in an attempt to make these easier
to run.