Accept '.dd' pure DDoc files.

This commit is contained in:
David Nadlinger
2013-06-16 00:39:47 +02:00
parent 1d9804d03c
commit 68798f06c8

View File

@@ -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 == '.');