#16414: Missing Windows build script for Sphinx
---------------------------------------+-------------------------------
Reporter: alexandrul | Owner: nobody
Type: New feature | Status: closed
Milestone: | Component: Documentation
Version: 1.3 | Severity: Normal
Resolution: wontfix | Keywords:
Triage Stage: Unreviewed | Has patch: 0
Needs documentation: 0 | Needs tests: 0
Patch needs improvement: 0 | Easy pickings: 0
UI/UX: 0 |
---------------------------------------+-------------------------------
Changes (by russellm):
* status: new => closed
* needs_better_patch: => 0
* needs_tests: => 0
* type: Bug => New feature
* needs_docs: => 0
* resolution: => wontfix
Comment:
1. The Windows analog of a Makefile isn't a cmd script. It's a Visual
Studio build file. A CMD file is just a batch script, and Makefiles
contain significantly more functionality than a simple CMD file would
allow.
2. GNU Make is available for Windows. It suffers from the usual problems
of unix tools ported to Windows (most notably, a painful installation
process), but it is available.
Given that the documentation is available online, is readable in raw
source format, and *can* be compiled on Windows given the appropriate
tools, I'm going to mark this wontfix. The alternative is for the Django
core team to take on the task of developing and/or maintaining a build
script for a platform that none of us use regularly, requiring tools that
aren't freely available. While we endeavor to support Windows where
possible, there is a line at which supporting the eccentricities of
Windows exceeds the benefits to the community, and I'm comfortable saying
that this change falls on the other side of that line.
--
Ticket URL: <https://code.djangoproject.com/ticket/16414#comment:1>
Django <https://code.djangoproject.com/>
The Web framework for perfectionists with deadlines.
--
You received this message because you are subscribed to the Google Groups
"Django updates" group.
To post to this group, send email to django-updates@googlegroups.com.
To unsubscribe from this group, send email to
django-updates+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/django-updates?hl=en.
