]> https://gitweb.dealii.org/ - dealii-svn.git/commit
projects / dealii-svn.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63fb802) | patch
Take over r23195 from mainline: Do not substitute in files in the doc/ directory...
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 15 Jan 2011 20:39:57 +0000 (20:39 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 15 Jan 2011 20:39:57 +0000 (20:39 +0000)
commit7374c234a88b6622245b15b724f7356025d141ec
treeb2a659e83f856b4124f6e61763c99ae14087a57ftree | snapshot
parent63fb8024733ca3b2ab980e9c79e3b7cae42bd61bcommit | diff
Take over r23195 from mainline: Do not substitute in files in the doc/ directory if the directory isn't there. This may happen when people download the .nodoc tar files.

git-svn-id: https://svn.dealii.org/branches/releases/Branch-7-0@23196 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/configure diff | blob | history
deal.II/configure.in diff | blob | history
Git mirror of the historical svn repository

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.