diff --git a/Doc/Makefile b/Doc/Makefile index 06d9aa60611737264fe46d0c3d7730d3a04d0823..8bf8639453aabcbe10cbe45c44d7d397fd357654 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -36,7 +36,7 @@ videoformats:$(mp4Set) all: ${BUILDROOT}/stage1 cd ${BUILDROOT}; tar c- ${DOCMODULES} | tar -x -C . #webhelp - cd ${BUILDROOT};zip -r webhelp/lectures.zip webhelp Slides extern -x webhelp/lectures.zip + cd ${BUILDROOT};zip -r webhelp/lectures.zip webhelp Slides ${DOCMODULES} extern -x webhelp/lectures.zip ${BUILDROOT}/${SCRIPTBASENAME}_print.xml \ ${BUILDROOT}/${SCRIPTBASENAME}.xml: ${SCRIPTBASENAME}.xml Common/glossary.xml Common/bibliography.xml