Update README.md (and docs/index.html)

yurrriq · yurrriq · commit fc6fc1ecc4ab · 2016-08-22T03:30:26.000-05:00
Fix link to PDF.
diff --git a/README.md b/README.md
@@ -106,5 +106,5 @@ Using Mac OS X Core Text and Cocoa frameworks
 
 
 [SF]: http://www.cis.upenn.edu/%7Ebcpierce/sf/current/index.html
-[PDF]: https://idris-hackers.github.io/software-foundations/docs/pdf/sf-idris-2016.pdf
+[PDF]: https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2016.pdf
 [prereqs]: #prerequisites
diff --git a/docs/index.html b/docs/index.html
@@ -9,7 +9,7 @@
 </head>
 <body>
 <h1 id="software-foundationssf-in-idris"><em><a href="http://www.cis.upenn.edu/%7Ebcpierce/sf/current/index.html">Software Foundations</a> in Idris</em></h1>
-<p>📖 <a href="https://idris-hackers.github.io/software-foundations/docs/pdf/sf-idris-2016.pdf">Download the PDF</a></p>
+<p>📖 <a href="https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2016.pdf">Download the PDF</a></p>
 <h2 id="usage">Usage</h2>
 <p>To rebuild the PDF, ensure the <a href="#prerequisites">prerequisites</a> are installed, then:</p>
 <pre class="fish"><code>make</code></pre>
