debian specific patch information for deal.ii / 6.3.1-1

 common/Make.global_options.in  |    2 +-
 contrib/configure.in           |    7 ++++++-
 contrib/utilities/configure.in |    4 ++++
 doc/Makefile.in                |    2 +-
 doc/doxygen/Makefile.in        |    2 +-
 doc/doxygen/options.dox.in     |   10 +++++-----
 6 files changed, 18 insertions(+), 9 deletions(-)

 aclocal.m4                    |    3 ++-
 common/Make.global_options.in |    4 +++-
 configure.in                  |    1 +
 3 files changed, 6 insertions(+), 2 deletions(-)

 aclocal.m4 |   11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

 aclocal.m4                    |    7 +++----
 common/Make.global_options.in |    4 ++--
 2 files changed, 5 insertions(+), 6 deletions(-)

 aclocal.m4 |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 base/Makefile                 |    4 ++--
 common/Make.global_options.in |    6 +++---
 contrib/Makefile.in           |    9 ---------
 3 files changed, 5 insertions(+), 14 deletions(-)

 aclocal.m4 |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 base/Makefile                   |    2 ++
 contrib/functionparser/Makefile |    1 +
 deal.II/Makefile                |    6 ++++++
 doc/doxygen/Makefile.in         |    1 +
 doc/doxygen/tutorial/Makefile   |    3 ++-
 lac/Makefile                    |    2 ++
 6 files changed, 14 insertions(+), 1 deletion(-)