-SRC=$(shell find @ROOT@ -name "*.ma" -a -type f | sed 's?^@ROOT@/??')
+SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
+SHORTSRC=$(echo $(SRC) | sed 's?^@ROOT@/??g')
TODO=$(SRC:%.ma=%.mo)
MATITA_FLAGS=
# this is the depend for full targets like:
# dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
--include @DEPFILE@
+include @DEPFILE@