diff --git a/project.conf b/project.conf index 8f0aa0e..0de198c 100644 --- a/project.conf +++ b/project.conf @@ -10,6 +10,5 @@ dist=Makefile,config.sh [tests] type=command command=cd tests && (if [ -n "$(OBJDIR)" ]; then $(MAKE) OBJDIR="$(OBJDIR)tests/" "$(OBJDIR)tests/fixme.log" "$(OBJDIR)tests/xmllint.log"; else $(MAKE) fixme.log xmllint.log; fi) -depends=all enabled=0 phony=1 diff --git a/tests/project.conf b/tests/project.conf index a38c50f..a09d459 100644 --- a/tests/project.conf +++ b/tests/project.conf @@ -6,10 +6,10 @@ dist=Makefile,fixme.sh,xmllint.sh type=script script=./fixme.sh enabled=0 -depends=fixme.sh,$(OBJDIR)../doc/manual/manual.html +depends=fixme.sh,../doc/manual/manual.xml,../doc/manual/manual.xsl [xmllint.log] type=script script=./xmllint.sh enabled=0 -depends=xmllint.sh,$(OBJDIR)../doc/manual/manual.html +depends=xmllint.sh,../doc/manual/manual.xml,../doc/manual/manual.xsl