#!/bin/bash
## ---------------------------------------------------------------------
## $Id: indent 31527 2013-11-03 09:58:45Z maier $
##
## Copyright (C) 2012 - 2013 by the deal.II authors
##
## This file is part of the deal.II library.
##
## The deal.II library is free software; you can use it, redistribute
## it, and/or modify it under the terms of the GNU Lesser General
## Public License as published by the Free Software Foundation; either
## version 2.1 of the License, or (at your option) any later version.
## The full text of the license can be found in the file LICENSE at
## the top level of the deal.II distribution.
##
## ---------------------------------------------------------------------

if test ! -d source -o ! -d include -o ! -d examples ; then
  echo "*** This script must be run from the top-level directory of deal.II."
  exit
fi

if test ! -f contrib/utilities/astyle.rc ; then
  echo "*** No style file contrib/utilities/astyle.rc found."
  exit
fi

echo "--- Indenting all deal.II header and source files"
astyle --options=contrib/utilities/astyle.rc \
       include/deal.II/*/*.h \
       source/*/*.cc \
       examples/*/*.cc
