]> matita.cs.unibo.it Git - helm.git/commitdiff
added "tags" target to generate vim tags with otags
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 May 2005 15:54:53 +0000 (15:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 May 2005 15:54:53 +0000 (15:54 +0000)
helm/ocaml/Makefile.in

index e07de27837a5a60b47e0948543edb5cee1cd0424..a09775cceaf8badbdbbed13871d0b4c0efbdbd26 100644 (file)
@@ -80,9 +80,14 @@ METAS/META.helm-%: METAS/meta.helm-%.src
        for i in $(MODULES); do echo "\"helm-$$i\" [shape=box,style=filled,fillcolor=yellow];" >> $@ ; done
        echo "}" >> $@
 
-
 libraries.ps: .dep.dot
        dot -Tps -o $@ $<
 
 libraries-complete.ps: .alldep.dot
        dot -Tps -o $@ $<
+
+tags: TAGS
+.PHONY: TAGS
+TAGS:
+       otags -vi -r .
+