Code

doc,rustdoc: improvements#9868

Code

Closed

adrientetar wants to merge 6 commits intorust-lang:masterrust-lang/rust:masterfrom

adrientetar:patch-docadrientetar/rust:patch-docCopy head branch name to clipboard

Commits

Commits on Oct 18, 2013

• doc: switch pandoc to html5

  adrientetar

  committed
  396f872

  Copy full SHA for 396f872

• doc/rust.HTML: proper version box

  adrientetar

  committed
  7b3dd1e

  Copy full SHA for 7b3dd1e

Commits on Oct 19, 2013

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

  adrientetar

  committed
  9ca0e61

  Copy full SHA for 9ca0e61

• doc: expand tutorial/manual CSS

  Show description for 07d32aa
  adrientetar

  committed
  07d32aa

  Copy full SHA for 07d32aa

• rustdoc: nitpicks & cleanup

  adrientetar

  committed
  73e2dc4

  Copy full SHA for 73e2dc4

• doc: fix links to comply with the new rustdoc

  Show description for c51ad14
  adrientetar

  committed
  c51ad14

  Copy full SHA for c51ad14