steveklabnik/rustdoc

Flag: playground url

Ouverte

#146 ouverte le 10 août 2017

 (2 commentaires) (0 réaction) (0 personne assignée) (22 forks)github user discovery
E-Mediumbackendhelp wantedquestion

Métriques du dépôt

Stars
 (104 étoiles)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

Description

This issue is part of https://github.com/steveklabnik/rustdoc/issues/125

--markdown-playground-url: control the location of the playground

Using this flag looks like this:

$ rustdoc README.md --markdown-playground-url https://play.rust-lang.org/

When rendering a Markdown file, this flag gives the base URL of the Rust Playround, to use for generating Run buttons.


Should we keep this flag or not?

Guide contributeur