renamed mktags to maketags;
authorwenzelm
Wed Jun 07 12:18:51 2000 +0200 (2000-06-07)
changeset 90498a3101b62c4f
parent 9048 3add5cfc89c2
child 9050 578730810638
renamed mktags to maketags;
Admin/maketags
Admin/mktags
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/maketags	Wed Jun 07 12:18:51 2000 +0200
     1.3 @@ -0,0 +1,26 @@
     1.4 +#!/bin/bash
     1.5 +#
     1.6 +# $Id$
     1.7 +
     1.8 +find . \( -name \*.ML -o -name \*.sml -o -name \*.sig \) -print | \
     1.9 +  etags \
    1.10 +    --language=none \
    1.11 +    --regex='/[ \t]*structure +\([A-Za-z_0-9]+\)/\1/' \
    1.12 +    --regex='/[ \t]*functor +\([A-Za-z_0-9]+\)/\1/' \
    1.13 +    --regex='/[ \t]*signature +\([A-Za-z_0-9]+\)/\1/' \
    1.14 +    --regex='/[ \t]*fun +\([A-Za-z_0-9]+\)/\1/' \
    1.15 +    --regex='/[ \t]*val +\([A-Za-z_0-9]+\)/\1/' \
    1.16 +    --regex='/[ \t]*and +\([A-Za-z_0-9]+\)/\1/' \
    1.17 +    --regex='/[ \t]*exception +\([A-Za-z_0-9]+\)/\1/' \
    1.18 +    --regex='/[ \t]*type +\([A-Za-z_0-9]+\)/\1/' \
    1.19 +    --regex='/[ \t]*datatype +\([A-Za-z_0-9]+\)/\1/' \
    1.20 +    --regex='/[ \t]*= +\([A-Z_]+\)/\1/' \
    1.21 +    --regex='/[ \t]*| +\([A-Z_]+\)/\1/' \
    1.22 +    -
    1.23 +
    1.24 +find . -type f -print | \
    1.25 +  fgrep -v .ML | \
    1.26 +  fgrep -v .sml | \
    1.27 +  fgrep -v .sig | \
    1.28 +  fgrep -v TAGS | \
    1.29 +  etags --language=none --append -
     2.1 --- a/Admin/mktags	Wed Jun 07 12:18:02 2000 +0200
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,26 +0,0 @@
     2.4 -#!/bin/bash
     2.5 -#
     2.6 -# $Id$
     2.7 -
     2.8 -find . \( -name \*.ML -o -name \*.sml -o -name \*.sig \) -print | \
     2.9 -  etags \
    2.10 -    --language=none \
    2.11 -    --regex='/[ \t]*structure +\([A-Za-z_0-9]+\)/\1/' \
    2.12 -    --regex='/[ \t]*functor +\([A-Za-z_0-9]+\)/\1/' \
    2.13 -    --regex='/[ \t]*signature +\([A-Za-z_0-9]+\)/\1/' \
    2.14 -    --regex='/[ \t]*fun +\([A-Za-z_0-9]+\)/\1/' \
    2.15 -    --regex='/[ \t]*val +\([A-Za-z_0-9]+\)/\1/' \
    2.16 -    --regex='/[ \t]*and +\([A-Za-z_0-9]+\)/\1/' \
    2.17 -    --regex='/[ \t]*exception +\([A-Za-z_0-9]+\)/\1/' \
    2.18 -    --regex='/[ \t]*type +\([A-Za-z_0-9]+\)/\1/' \
    2.19 -    --regex='/[ \t]*datatype +\([A-Za-z_0-9]+\)/\1/' \
    2.20 -    --regex='/[ \t]*= +\([A-Z_]+\)/\1/' \
    2.21 -    --regex='/[ \t]*| +\([A-Z_]+\)/\1/' \
    2.22 -    -
    2.23 -
    2.24 -find . -type f -print | \
    2.25 -  fgrep -v .ML | \
    2.26 -  fgrep -v .sml | \
    2.27 -  fgrep -v .sig | \
    2.28 -  fgrep -v TAGS | \
    2.29 -  etags --language=none --append -