Merge pull request #424 from peuter/develop

change restructured map file suffix
CometVisu · Sep 11, 2016 · 2100493 · 2100493
2 parents 563e9c2 + f63ce7d
commit 2100493
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.doc/config.ini b/.doc/config.ini
@@ -10,7 +10,7 @@ prefix=/manual/
 target=src/editor/lib/DocumentationMapping.json
 
 [redirect]
-target=out/redirect-structure.sh
+target=out/redirect-structure.map
 
 [manual-de]
 source=%(manual-basedir)s/de