diff options
Diffstat (limited to 'files/fr/mozilla/add-ons/webextensions/tips/index.html')
| -rw-r--r-- | files/fr/mozilla/add-ons/webextensions/tips/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/files/fr/mozilla/add-ons/webextensions/tips/index.html b/files/fr/mozilla/add-ons/webextensions/tips/index.html index 853efa09b2..e715db6a7a 100644 --- a/files/fr/mozilla/add-ons/webextensions/tips/index.html +++ b/files/fr/mozilla/add-ons/webextensions/tips/index.html @@ -47,10 +47,10 @@ translation_of: Mozilla/Add-ons/WebExtensions/Tips <p>Ensuite, pour compiler un script individuel, lancez simplement :</p> -<pre class="brush: sh">BABEL_ENV=firefox babel <filename> +<pre>BABEL_ENV=firefox babel <filename> </pre> <p>Ou, pour compiler chaque fichier JavaScript sous le répertoire <code>src</code> et placer les fichiers compilés dans la <code>compilation</code>, en copiant les fichiers non-JavaScript dans le processus, lancez:</p> -<pre class="brush: sh">BABEL_ENV=firefox babel -Dd compiled src +<pre>BABEL_ENV=firefox babel -Dd compiled src </pre> |