From 4f33cad025a7805fc179d21ac0a45fc216677588 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Fri, 17 Aug 2012 18:20:22 -0700
Subject: [PATCH] Ignore more stuff, notably generated docs and man pages.

---
 .gitignore | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 66c0b7c..0e2001d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,12 @@
 mnexec
 *.pyc
 *~
+*.1
+*.xcodeproj
+*.xcworkspace
 \#*\#
 mininet.egg-info
 build/*
 dist/*
-
+doc/*
+trunk/*