doxygen: problems opening map file doc/html/inherit_graph_180.map for inclusion

[andres-erbsen]

Prerequisites

• Put an X between the brackets on this line if you have done all of the following:
  • Checked that your issue isn't already filed.
    • Specifically, check out the wishlist, open RFCs,
      or feature requests.
  • Reduced the issue to a self-contained, reproducible test case.

Description

doxygen src/Doxyfile ends with

...
Patching output file 1654/1656
Patching output file 1655/1656
Patching output file 1656/1656
error: problems opening map file /home/browse/Downloads/lean/doc/html/inherit_graph_180.map for inclusion in the docs!
If you installed Graphviz/dot after a previous failing run, 
try deleting the output directory and rerun doxygen.
lookup cache used 47857/65536 hits=776715 misses=51959
finished...
doxygen src/Doxyfile  2816.05s user 347.97s system 296% cpu 17:47.64 total

Steps to Reproduce

1. [First Step]
2. [Second Step]
3. [and so on...]

Expected behavior: no errors

Actual behavior: errors as above

Reproduces how often: 1/1

Versions

doxygen 1.8.14, graphviz 2.40.1, Linux ashryn 4.17.10-1-ARCH #1 SMP PREEMPT Wed Jul 25 11:23:00 UTC 2018 x86_64 GNU/Linux