diff --git a/docs/index.html b/docs/index.html
index c10d105..337673e 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -76,6 +76,10 @@ sudo apt-get install build-essential clang bison flex libreadline-dev \
                      xdot pkg-config python python3 libftdi-dev
 </pre>
 
+<p>
+If you are an Archlinux user, just install <a href="https://aur.archlinux.org/packages/icestorm-git/">icestorm-git</a>, <a href="https://aur.archlinux.org/packages/arachne-pnr-git/">arachne-pnr-git</a> and <a href="https://aur.archlinux.org/packages/yosys-git/">yosys-git</a> from the Arch User Repository (no need for the following installation steps).
+</p>
+
 <p>
 Installing the <a href="https://github.com/cliffordwolf/icestorm">IceStorm Tools</a> (icepack, icebox, iceprog):
 </p>