diff -r bb31577536d1 -r d14a95cb0aab bookloupe/bookloupe.h
--- a/bookloupe/bookloupe.h	Thu Oct 03 16:09:39 2013 +0100
+++ b/bookloupe/bookloupe.h	Wed Oct 16 20:54:58 2013 +0100
@@ -55,6 +55,7 @@
     MARKUP_SWITCH,
     USERTYPO_SWITCH,
     DP_SWITCH,
+    DUMP_CONFIG_SWITCH,
     SWITNO
 };