[Issue 2021] New: version(linux) is inconsistent

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=2021

           Summary: version(linux) is inconsistent
           Product: D
           Version: 2.012
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla at digitalmars.com
        ReportedBy: wbaxter at gmail.com


If the version for Windows is going to be capitalized, then the version for
Linux needs to be capitalized too.

I recommend deprecating version(linux) and adding the default version(Linux). 
By deprecate I mean just remove it from the documentation and allow it to
gradually be forgotten. 

Maybe someone was under the impression that "Windows" is a proper name, but
"linux" is not, however, Googling for "linux" turns up many many uses of the
name capitalized.  In particular sites that should know seem to capitalize it,
like linux.org: http://www.linux.org/info/index.html


--