Adrien Delorme 6fcf581e3e remove all generated doc files before generating it again ...

in order to remove files that should be

2019-06-14 14:58:58 +02:00

..

_ShutdownConfig-not-required.html.md

remove all generated doc files before generating it again

2019-06-14 14:58:58 +02:00