From: kanschat Date: Tue, 21 Sep 2010 21:16:54 +0000 (+0000) Subject: The creation of deal.dox needs the bash echo. Since Ubuntu's /bi/sh is only POSIX... X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9d2085517169404d3f1f2f1180eee044d543ef0b;p=dealii-svn.git The creation of deal.dox needs the bash echo. Since Ubuntu's /bi/sh is only POSIX, we need to specify bash git-svn-id: https://svn.dealii.org/trunk@22110 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/doxygen/Makefile.in b/deal.II/doc/doxygen/Makefile.in index d20a2ebcc5..7d25d1a59c 100644 --- a/deal.II/doc/doxygen/Makefile.in +++ b/deal.II/doc/doxygen/Makefile.in @@ -3,6 +3,7 @@ # # Copyright (c) the deal.II authors 2003 +SHELL=/bin/bash ############################### # Configured variables