Admin/mktags
changeset 9049 8a3101b62c4f
parent 9048 3add5cfc89c2
child 9050 578730810638
equal deleted inserted replaced
9048:3add5cfc89c2 9049:8a3101b62c4f
     1 #!/bin/bash
       
     2 #
       
     3 # $Id$
       
     4 
       
     5 find . \( -name \*.ML -o -name \*.sml -o -name \*.sig \) -print | \
       
     6   etags \
       
     7     --language=none \
       
     8     --regex='/[ \t]*structure +\([A-Za-z_0-9]+\)/\1/' \
       
     9     --regex='/[ \t]*functor +\([A-Za-z_0-9]+\)/\1/' \
       
    10     --regex='/[ \t]*signature +\([A-Za-z_0-9]+\)/\1/' \
       
    11     --regex='/[ \t]*fun +\([A-Za-z_0-9]+\)/\1/' \
       
    12     --regex='/[ \t]*val +\([A-Za-z_0-9]+\)/\1/' \
       
    13     --regex='/[ \t]*and +\([A-Za-z_0-9]+\)/\1/' \
       
    14     --regex='/[ \t]*exception +\([A-Za-z_0-9]+\)/\1/' \
       
    15     --regex='/[ \t]*type +\([A-Za-z_0-9]+\)/\1/' \
       
    16     --regex='/[ \t]*datatype +\([A-Za-z_0-9]+\)/\1/' \
       
    17     --regex='/[ \t]*= +\([A-Z_]+\)/\1/' \
       
    18     --regex='/[ \t]*| +\([A-Z_]+\)/\1/' \
       
    19     -
       
    20 
       
    21 find . -type f -print | \
       
    22   fgrep -v .ML | \
       
    23   fgrep -v .sml | \
       
    24   fgrep -v .sig | \
       
    25   fgrep -v TAGS | \
       
    26   etags --language=none --append -