[PATCH] doc: 'rm -f' potential doxygen temporary output file

[David Bremner]

Tomi Ollila <tomi.ollila at iki.fi> writes:

> Some (older) Doxygen versions do not create such a temporary file.
>
> ---

pushed.

d