diff -r 38635902cb31 -r 2c02e2a9a900 bin/check_dns-delegation
--- a/bin/check_dns-delegation	Wed Jan 21 16:52:47 2015 +0100
+++ b/bin/check_dns-delegation	Thu Jan 22 15:04:45 2015 +0100
@@ -85,6 +85,7 @@
 This file lists NS names for domains. Instead of trusting our own server
 we use the NS listed as the authoritive ones. This is primarly useful for
 some of these domains that are held on the "pending" servers of joker.
+(default: F</etc/check_dns-delegation/override>)
 
 =back