tweaks
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 3 Jul 2009 12:31:06 +0000 (12:31 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 3 Jul 2009 12:31:06 +0000 (12:31 +0000)
Makefile

index b56aa92..7bfdf23 100644 (file)
--- 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