canmove, Confirmed users
737
edits
MDN/Projects/Completed/GitHub Integration: Difference between revisions
Jump to navigation
Jump to search
MDN/Projects/Completed/GitHub Integration (view source)
Revision as of 23:26, 14 May 2013
, 14 May 2013→Readthedocs.org?
No edit summary |
|||
| Line 108: | Line 108: | ||
# Docs managed by this system should feed into the results of the in-house search feature we're developing right now. | # Docs managed by this system should feed into the results of the in-house search feature we're developing right now. | ||
# It might be interesting to make KumaScript as an available option to these docs | # It might be interesting to make KumaScript as an available option to these docs | ||
I think it's an open question whether we accomplish this by extending readthedocs.org or whether we roll our own thing. I'd much prefer us to use readthedocs.org, and to give any improvements back, but having looked a bit at readthedocs.org, it seems to be very heavily dependent on the docs using Sphinx/reStructuredText - so if it's important to us to support other formats (which it probably is) and other ways of generating a docset from a pile of source files, then it might be a big change. | I think it's an open question whether we accomplish this by extending readthedocs.org or whether we roll our own thing. I'd much prefer us to use readthedocs.org, and to give any improvements back, but having looked a bit at readthedocs.org, it seems to be very heavily dependent on the docs using Sphinx/reStructuredText - so if it's important to us to support other formats (which it probably is) and other ways of generating a docset from a pile of source files, then it might be a big change. | ||