From: Wolfgang Bangerth Date: Sun, 22 Jan 2006 21:19:35 +0000 (+0000) Subject: Add some spaces to the main page text. X-Git-Tag: v8.0.0~12556 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=78f06f74db2789806872acb34e01f6c82abb69b0;p=dealii.git Add some spaces to the main page text. git-svn-id: https://svn.dealii.org/trunk@12119 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/doxygen/options.dox.in b/deal.II/doc/doxygen/options.dox.in index bf7369fb3e..9e444b6963 100644 --- a/deal.II/doc/doxygen/options.dox.in +++ b/deal.II/doc/doxygen/options.dox.in @@ -23,7 +23,7 @@ PROJECT_NAME = deal.II # This could be handy for archiving the generated documentation or # if some version control system is used. -PROJECT_NUMBER = This is the reference documentation for deal.II version @PACKAGE_VERSION@ +PROJECT_NUMBER = "This is the reference documentation for deal.II version @PACKAGE_VERSION@" # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) # base path where the generated documentation will be put.