On 13-08-12 02:06 PM, Daniel Micay wrote: > I don't think it makes sense to switch from pandoc. It's more > featureful than the other generators, and has many supported output > formats. The perceived popularity is much less important than > quantifiable differences between the alternatives.
Yeah, I'd prefer we don't change the doc format on a whim. Most pandoc-supported extensions are either common across markdown implementations or not-used in rust docs. If you find particularly troubling ones we can evaluate them / remove them on a case by case basis. Which ones are you running into? -Graydon _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
