+++ /dev/null
-#!/bin/sh
-
-cd src
-echo `pwd`
-for dir in *
-do
- if [ -d "$dir" ]
- then
- echo "$dir"
- rm -f "$dir".mlpack
- cd "$dir"
- for i in *.ml *.mly *.mll
- do
- if [ ! -f "$i" ]
- then
- continue
- fi
- echo "$i"
- f=`echo "$i" | cut -b1`
- l=`basename "$i" .mll`
- l=`basename "$l" .mly`
- l=`basename "$l" .ml | cut -b2-`
- o=`echo "$f" | tr a-z A-Z`
- echo "$dir"/"$o""$l" >> ../"$dir".mlpack
- done
- cd ..
- fi
-done
-cd ..
\ No newline at end of file