Daniel Däschle 7feb53b605 vdoc: copy favicons to destination dir (#7374)		2020-12-18 10:41:34 +02:00
..
favicons	…
arrow.svg	…
dark-mode.js	…
dark.svg	…
doc.css	…
doc.js	…
light.svg	…
link.svg	…
menu.svg	…
normalize.css	…