Thanks Wolfgang, a slight permutation of that seemed to work! I'll submit a
PR in a moment.
Michael, can you tell me if you've built any of the code gallery examples?
I think that this might be the issue. If you have, can you go into those
examples' directories and run "make distclean", then try to build the
documentation again? It looks like this has fixed the problem for me.
FYI. Before cleaning the CG examples completely, this was the last line of
doxygen.log:
> input buffer overflow, can't enlarge buffer because scanner uses REJECT
>
On Tuesday, March 7, 2017 at 5:34:39 PM UTC+1, Wolfgang Bangerth wrote:
>
> On 03/07/2017 09:30 AM, Jean-Paul Pelteret wrote:
> >
> > Matthias, is there any way to disable the deletion of doxygen.log when a
> > build of the documentation fails?
>
> In doc/doxygen/CMakeLists.txt, line ~230, you have
>
> ADD_CUSTOM_COMMAND(
> OUTPUT
> ${CMAKE_BINARY_DIR}/doxygen.log
> COMMAND ${DOXYGEN_EXECUTABLE}
> ${CMAKE_CURRENT_BINARY_DIR}/options.dox
> > ${CMAKE_BINARY_DIR}/doxygen.log 2>&1 # *pssst*
> ...
>
> Can you try to change that into something of the form
>
> ADD_CUSTOM_COMMAND(
> OUTPUT
> ${CMAKE_BINARY_DIR}/doxygen.log
> COMMAND
> (${DOXYGEN_EXECUTABLE}
> ${CMAKE_CURRENT_BINARY_DIR}/options.dox
> > ${CMAKE_BINARY_DIR}/doxygen.log 2>&1 # *pssst*
> )
> ||
> mv ${CMAKE_BINARY_DIR}/doxygen.log ${CMAKE_BINARY_DIR}/doxygen.err
> ...
>
>
> The second branch of || is only executed if the first one fails, and
> moves the output file to an error file.
>
> If this happens to work, please submit this as a patch in general -- we
> should try to preserve error messages.
>
> Best
> W.
>
> --
> ------------------------------------------------------------------------
> Wolfgang Bangerth email: [email protected]
> www: http://www.math.colostate.edu/~bangerth/
>
--
The deal.II project is located at http://www.dealii.org/
For mailing list/forum options, see
https://groups.google.com/d/forum/dealii?hl=en
---
You received this message because you are subscribed to the Google Groups
"deal.II User Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
