# where the source of the wiki is located
srcdir: .
# where to build the wiki
-#destdir: ../../doc-dest
+destdir: dest/
# base url to the wiki; keep empty for local builds (with relpaths)
url: ''
rcs: git
# plugins to add to the default configuration
add_plugins:
-- favicon
- html
- img
-- map
- pagetemplate
+- sidebar
# plugins to disable
disable_plugins:
timeformat: '%c'
# UTF-8 locale to use
-locale: fr_FR.UTF-8
-
-# put user pages below specified page
-userdir: ''
+locale: en_US.UTF-8
# how many backlinks to show before hiding excess (0 to show all)
numbacklinks: '10'
# attempt to hardlink source files? (optimisation for large files)
hardlink: '0'
+
+# Do not do foo/index.html
+usedirs: '0'
+
+# Do not try to compile dest/
+exclude: ^dest
\ No newline at end of file