Compare commits

..

No commits in common. "8f31b18ebbb16952296ec4f76b357e2399dd360a" and "0b71db35a703e54f0add3b4505057a76c8992d4e" have entirely different histories.

2 changed files with 3 additions and 1 deletions

View File

@ -28,7 +28,7 @@ template = "page.html"
{% layout_card(title="ARTIQ Documentation") %} {% layout_card(title="ARTIQ Documentation") %}
<small>Older manuals (HTML only)</small> <small>Older manuals (HTML only)</small>
<a href="https://m-labs.hk/artiq/manual-release-3/" target="_blank" rel="noopener noreferrer">ARTIQ-3</a> <a href="https://m-labs.hk/artiq/manual-release-3/" target="_blank" rel="noopener noreferrer">ARTIQ-3</a> | <a href="https://m-labs.hk/artiq/manual-release-2/" target="_blank" rel="noopener noreferrer">ARTIQ-2</a>
{% end %} {% end %}

2
templates/robots.txt Normal file
View File

@ -0,0 +1,2 @@
User-agent: *
Disallow: /