From 7a1effc83b00c1a28a933065f4a368c8027ad7d6 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Sun, 1 Jan 2017 18:27:05 +0100
Subject: [PATCH] Adding docmodule dependencies
---
Doc/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Doc/Makefile b/Doc/Makefile
index 06d9aa606..8bf863945 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
--
GitLab