Code

doc,rustdoc: improvements#9960

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom

adrientetar:patch-doc-limitedadrientetar/rust:patch-doc-limitedCopy head branch name to clipboard

Oct 22, 2013

Commits

Commits on Oct 19, 2013

• doc: switch pandoc to html5

  adrientetar

  committed
  f69795e

  Copy full SHA for f69795e

• doc/rust.HTML: proper version box

  adrientetar

  committed
  5d1fc86

  Copy full SHA for 5d1fc86

Commits on Oct 21, 2013

• doc: tidy and cleanup CSS deps, add tutorial PDF generation

  adrientetar

  committed
  8d97db4

  Copy full SHA for 8d97db4

• doc: expand tutorial/manual CSS

  Show description for 3995495
  adrientetar

  committed
  3995495

  Copy full SHA for 3995495

• rustdoc: nitpicks & cleanup

  adrientetar

  committed
  694b624

  Copy full SHA for 694b624

• doc: fix links to comply with the new rustdoc

  Show description for 22465e9
  adrientetar

  committed
  22465e9

  Copy full SHA for 22465e9