[PATCH 05 of 13] Mapping new facet type to theme

[Wald Commits]

# HG changeset patch
# User Felix Wolfsteller <felix.wolfsteller at intevation.de>
# Date 1377522094 -7200
# Node ID a920ca706fc1efbacd3b66db6e8a12e097c11232
# Parent  16fcfde38d5b90953327361ecf6bf7a1406963dd
Mapping new facet type to theme.

diff -r 16fcfde38d5b -r a920ca706fc1 artifacts/doc/conf/themes.xml
--- a/artifacts/doc/conf/themes.xml	Mon Aug 26 14:53:41 2013 +0200
+++ b/artifacts/doc/conf/themes.xml	Mon Aug 26 15:01:34 2013 +0200
@@ -180,6 +180,7 @@
         <mapping from="other.wqkms" to="WQKms" />
         <mapping from="other.wqkms.w" to="WQKms" />
         <mapping from="other.wqkms.q" to="WQKms" />
+        <mapping from="other.w.interpol" to="MainValuesW" />
         <mapping from="heightmarks_points" to="heightmarks_points" />
         <mapping from="area" to="Area" />
         <mapping from="cross_section.area" to="CrossSectionArea" />