Disable useless plugins

diff --git a/doc/ikiwiki.setup b/doc/ikiwiki.setup
index ced80df..13f0925 100644 (file)
--- a/doc/ikiwiki.setup
+++ b/doc/ikiwiki.setup
@@ -27,10 +27,8 @@ gitorigin_branch: ''
 rcs: git
 # plugins to add to the default configuration
 add_plugins:
-- favicon
 - html
 - img
-- map
 - pagetemplate
 
 # plugins to disable