From c66834d591e3598be7f4f3236da9b527a5a8c1fb Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 3 Jul 2009 12:31:06 +0000
Subject: [PATCH] tweaks

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index b56aa92b..7bfdf238 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,7 @@ python:
 	echo 'nothing to do for python - no __init__ generated anymore'
 
 python-install:
-	python setup.py install --root=$(DESTDIR) --record=GENI_INSTALLED_FILES
+	python setup.py install --root=$(DESTDIR)
 
 python-clean:
 	python setup.py clean
@@ -41,7 +41,7 @@ python-clean:
 
 # are the .java files used ?
 tags:	
-	find . -type f | egrep -v '/\.svn/|\.py[co]$$|TAGS' | xargs etags
+	find . -type f | egrep -v '/\.svn/|TAGS|\.py[co]$$|\.doc$$|\.html$$' | xargs etags
 .PHONY: tags
 
 
-- 
2.43.0