[Issue 15465] Make the "Ddoc" header optional in .dd files
via Digitalmars-d-bugs
digitalmars-d-bugs at puremagic.com
Mon Dec 21 12:29:11 PST 2015
https://issues.dlang.org/show_bug.cgi?id=15465
Andrei Alexandrescu <andrei at erdani.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|Make the "Ddoc\ |Make the "Ddoc" header
| |optional in .dd files
--- Comment #1 from Andrei Alexandrescu <andrei at erdani.com> ---
Files passed explicitly to dmd for doc processing and carrying the .dd
extension don't need to present additional proof that they're ddoc files. The
Ddoc header is a mere distraction.
--
More information about the Digitalmars-d-bugs
mailing list