From: Matthias Maier Date: Tue, 7 Mar 2017 18:05:23 +0000 (-0600) Subject: Merge pull request #4048 from jppelteret/doxygen_error_log X-Git-Tag: v8.5.0-rc1~56 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=85f4cb2a4b0b715b88055002e20efef8bc3ac3a4;p=dealii.git Merge pull request #4048 from jppelteret/doxygen_error_log When doxygen fails, make a copy of the error log for debugging purposes. --- 85f4cb2a4b0b715b88055002e20efef8bc3ac3a4