diff --git a/Sd1/Makefile b/Sd1/Makefile index 2bc9293eb20bbd66381d38ee8f5aaec10de8375f..e6b161a0b08d2e3d531c7a607e1a0ae24c2c94d7 100644 --- a/Sd1/Makefile +++ b/Sd1/Makefile @@ -52,7 +52,7 @@ ${OWNCLOUDPDF}:${SCRIPTBASENAME}.xml -s pdf -s "|pdf" -u ${OWNCLOUDPDF} -${BUILDNAVI}/index.html ${BUILDNAVI}/printversion.pdf:${SCRIPTBASENAME}.xml lastAnswerId.xml +${BUILDNAVI}/index.html ${BUILDNAVI}/printversion.pdf:${SCRIPTBASENAME}.xml lastAnswerId.xml dirty rm -rf ${BUILDBASE} || true mkdir -p ${BUILDNAVI} ${BUILDNONAVI} #cd Ref/Fig;make all