-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=
clean:
$(MATITACLEAN) $(MATITA_FLAGS) $(SRC)
- rm -f $(TODO)
+ rm -f $(TODO) @DEPFILE@
%.moo:
if [ -z "$<" ]; then \
# this is the depend for full targets like:
# dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
--include @DEPFILE@
+include @DEPFILE@