From cb9fbacd8f2af12f8f4a85f7898b1e9f9e5d8131 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Tue, 27 Dec 2011 00:02:09 -0500
Subject: [PATCH] Added manual note to download page

---
 download.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/download.html b/download.html
index b13f055..82c6125 100644
--- a/download.html
+++ b/download.html
@@ -25,3 +25,8 @@ ease.js is available via npm for use with Node.js. Alternatively, one can simply
 <blockquote class="shell">
   <span class="shell-start">$</span> npm install easejs
 </blockquote>
+
+<h3>Manual</h3>
+See <a href="manual/Integration.html#Integration">Chapter 1 of the manual</a>
+for more information on downloading and integrating ease.js into your own
+projects.