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