From 68798f06c84763b4689660abfb7ac553109f2689 Mon Sep 17 00:00:00 2001
From: David Nadlinger <code@klickverbot.at>
Date: Sun, 16 Jun 2013 00:39:47 +0200
Subject: [PATCH] Accept '.dd' pure DDoc files.

---
 driver/main.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/driver/main.cpp b/driver/main.cpp
index b52c1f3d..b9f6a207 100644
--- a/driver/main.cpp
+++ b/driver/main.cpp
@@ -772,7 +772,8 @@ int main(int argc, char** argv)
 #endif
 
             if (Port::stricmp(ext, global.mars_ext) == 0 ||
-                Port::stricmp(ext, global.hdr_ext) == 0)
+                Port::stricmp(ext, global.hdr_ext) == 0 ||
+                FileName::equals(ext, "dd"))
             {
                 ext--;          // skip onto '.'
                 assert(*ext == '.');