docs: fix download link in start.rst.

Fixes #647.
This commit is contained in:
whitequark 2021-12-11 06:32:32 +00:00
parent 116d4b9bc2
commit 0fb2b4cd39
2 changed files with 2 additions and 2 deletions

View file

@ -19,7 +19,7 @@ extensions = [
with open(".gitignore") as f:
exclude_patterns = [line.strip() for line in f.readlines()]
master_doc = "cover"
root_doc = "cover"
intersphinx_mapping = {"python": ("https://docs.python.org/3", None)}

View file

@ -10,7 +10,7 @@ This section demonstrates the basic Amaranth workflow to provide a cursory overv
A counter
=========
As a first example, consider a counter with a fixed limit, enable, and overflow. The code for this example is shown below. `Download <_code/up_counter.py>`_ and run it:
As a first example, consider a counter with a fixed limit, enable, and overflow. The code for this example is shown below. :download:`Download <_code/up_counter.py>` and run it:
.. code-block:: shell