Simplify command to make HTML from a ZIP.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2019-08-06 19:53:28 +01:00
parent 878b38116d
commit c333fe2b0b
2 changed files with 4 additions and 4 deletions

View File

@ -73,8 +73,8 @@ License: {usually MIT}</pre>
<p>This is optional before publishing a PR, but to check whether a document is valid reStructuredText, first install rst2html5:</p>
<pre>sudo apt-get install python-pip
sudo pip install rst2html5</pre>
<p>and then run:</p>
<pre>rst2html5 -v zip-xxxx.rst &gt;zip-xxxx.html</pre>
<p>Then, with <code>zip-xxxx.rst</code> in the root directory of a clone of this repo, run:</p>
<pre>make zip-xxxx.html</pre>
<p>and view <code>zip-xxxx.html</code> in a web browser.</p>
</section>
</section>

View File

@ -117,9 +117,9 @@ reStructuredText, first install rst2html5::
sudo apt-get install python-pip
sudo pip install rst2html5
and then run::
Then, with ``zip-xxxx.rst`` in the root directory of a clone of this repo, run::
rst2html5 -v zip-xxxx.rst >zip-xxxx.html
make zip-xxxx.html
and view ``zip-xxxx.html`` in a web browser.