Index: tools/gformat.py
===================================================================
--- tools/gformat.py	(revision 9822)
+++ tools/gformat.py	(revision 9938)
@@ -641,4 +641,9 @@
   ## apkerk1.CNodeVosko=172.17.176.8 ;this as well
   dns = yaml.load(open(os.path.join(NODE_DIR,'../dns/staticDNS.yaml'),'r'))
+
+  # Hack to allow special entries, for development
+  wleiden_raw = dns['raw']
+  del dns['raw']
+
   for comment, block in dns.iteritems():
     for k,v in block.iteritems():
@@ -672,4 +677,6 @@
   for source,dest in wleiden_cname.iteritems():
     f.write("%s.wleiden.net. IN CNAME %s.wleiden.net.\n" % (source.lower(), dest.lower()))
+  for source, dest in wleiden_raw.iteritems():
+    f.write("%s.wleiden.net. %s\n" % (source, dest))
   f.close()