diff -r bb31577536d1 -r 589d5af2c38d bookloupe/bookloupe.h
--- a/bookloupe/bookloupe.h	Thu Oct 03 16:09:39 2013 +0100
+++ b/bookloupe/bookloupe.h	Thu Oct 17 08:07:48 2013 +0100
@@ -55,6 +55,7 @@
     MARKUP_SWITCH,
     USERTYPO_SWITCH,
     DP_SWITCH,
+    DUMP_CONFIG_SWITCH,
     SWITNO
 };