Docs location moved

This commit is contained in:
Andy Williams 2017-10-21 16:38:57 +01:00
parent eeb25519b3
commit 549f167002
1 changed files with 1 additions and 1 deletions

View File

@ -1601,7 +1601,7 @@ getopt.parse {
set_theme(opts["graph-theme"])
end
local rootns = (not opts["n"] or opts["n"] == "")
and "docs:efl" or opts["n"]
and "develop:efl" or opts["n"]
local dr
if not opts["r"] or opts["r"] == "" then
dr = "dokuwiki/data/pages"