@c BEEBS Manual configuration file.
@c
@c Copyright (C) 2014 Embecosm Limited
@c Copyright (C) 2014 University of Bristol
@c
@c Contributor Jeremy Bennett <jeremy.bennett@embecosm.com>
@c
@c This file is part of BEEBS
@c
@c This program is free software; you can redistribute it and/or modify it
@c under the terms of the GNU General Public License as published by the Free
@c Software Foundation; either version 3 of the License, or (at your option)
@c any later version.
@c
@c This program is distributed in the hope that it will be useful, but WITHOUT
@c ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
@c FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
@c more details.
@c
@c You should have received a copy of the GNU General Public License along
@c with this program.  If not, see <http://www.gnu.org/licenses/>.
@c
@c ----------------------------------------------------------------------
@c Parameters
@c
@c Paragraph indentation
@paragraphindent 0
@c ----------------------------------------------------------------------
@c STRINGS:
@c
@c Name of the benchmark suite
@set BEEBS BEEBS
