From 76789e8df4142311fd505af52a84ee19c94ef14d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrg=20Lehni?= <juerg@scratchdisk.com>
Date: Sun, 30 Dec 2012 20:16:48 +0100
Subject: [PATCH] Ignore docs in dist.

---
 dist/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dist/.gitignore b/dist/.gitignore
index a30cf19a..bc509d86 100644
--- a/dist/.gitignore
+++ b/dist/.gitignore
@@ -1,4 +1,5 @@
 /paper-min.js
 /paper-server.js
+/docs/
 /serverdocs/
 /paperjs.zip