docs/tools/make_docs.sh | raw changeset files shortlog |
1.1 --- a/docs/tools/make_docs.sh Mon Apr 15 23:42:00 2019 +0200 1.2 +++ b/docs/tools/make_docs.sh Mon Apr 15 23:42:51 2019 +0200 1.3 @@ -6,7 +6,11 @@ 1.4 1.5 ROOT="MoinLight" 1.6 1.7 -MAPPING='--mapping WikiPedia https://en.wikipedia.org/wiki/' 1.8 +MAPPING=' 1.9 +--mapping WikiPedia https://en.wikipedia.org/wiki/ 1.10 +--mapping MoinMoin https://moinmo.in/ 1.11 +' 1.12 + 1.13 THEME='--theme mercurial' 1.14 1.15 if [ "$1" = '--web' ] ; then