diff --git a/artiq/index.html b/artiq/index.html
index 00ac296..6ace978 100644
--- a/artiq/index.html
+++ b/artiq/index.html
@@ -126,15 +126,9 @@ class Experiment(AutoDB):
         <div style="float: right;"><img src="logo_small.png"></div>
         <p>It's easy to find out by yourself! The core device is based on the resource-efficient MiSoC system-on-chip design, and you can use a limited version of ARTIQ with the small and low-cost <a href="http://pipistrello.saanlima.com/">Pipistrello</a> board. Feel free to send feedback to the mailing list!</p>
 	<ul>
-		<li><a href="manual/installing.html">Install from sources</a> (be prepared to compile software and FPGA bitstreams)</li>
+		<li><a href="manual/installing.html#installing-from-source">Install from sources</a> (be prepared to compile software and FPGA bitstreams)</li>
 	or
-		<li>Install from pre-compiled binaries (linux-64)</li>
-        <p>Installing host-side ARTIQ software on your 64-bit Linux powered computer is quick and easy since it can be installed via <a href="http://conda.pydata.org/">Conda packages</a> as part of the <a href="https://store.continuum.io/cshop/anaconda/">Anaconda</a> scientific computing Python distribution:</p>
-        <ul>
-		<li>Install <a href="http://continuum.io/downloads">Anaconda3</a> (Python 3.4)</li>
-		<li>Add our package delivery channels: <pre>$ conda config --add channels fallen && conda config --add channels http://conda.binstar.org/fallen/channel/dev</pre></li>
-		<li>Install ARTIQ: <pre>$ conda install artiq</pre></li>
-		<li>Flash the Pipistrello board with pre-compiled bitstream, BIOS and runtime: <pre>$ artiq_flash.sh -t pipistrello</pre></li>
+		<li><a href="manual/installing.html">Install from pre-compiled binaries</a> (Linux only)</li>
 	</ul>
 	<p>Then you can follow the <a href="manual/">manual</a> to run basic ARTIQ examples:</p>
 	<ul>