]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/etc/Makefile
update in basic_2 and apps_2 ...
[helm.git] / helm / www / lambdadelta / etc / Makefile
1 FIND = find Environment -name "*.xml"
2
3 GREP = grep -h "<Abst"
4
5 SED = sed -e "s/^ *//g"
6
7 SORT = sort
8
9 UNIQ = uniq
10
11 all: abst.txt
12
13 abst.txt:
14         @$(FIND) | xargs $(GREP) | $(SED) | $(SORT) | $(UNIQ) > abst.txt