doc: Generate a custom favicon from the logo
authornicoo <nicoo@realraum.at>
Wed, 4 Jul 2018 22:49:35 +0000 (00:49 +0200)
committernicoo <nicoo@realraum.at>
Wed, 4 Jul 2018 22:57:56 +0000 (00:57 +0200)
commitbf214e0b761fc09b197be728ff0711f2486521fe
treece2f33e60bfbde9d9951c46bc652fc2335775902
parent106725887b34c9f38a8112a04382d37b00f2e72f
doc: Generate a custom favicon from the logo
doc/.gitignore
doc/Makefile
doc/favicon.ico [deleted file]