diff --git a/Doc/Makefile b/Doc/Makefile index 57a8c7a23821ca39e1496d24c420bbb5f5af0a82..8894d202a914c206defad5e1e04be1e789e59413 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -35,7 +35,6 @@ ${BUILDNAVI}/index.html ${BUILDNAVI}/printversion.pdf:${SCRIPTBASENAME}.xml mkdir -p ${BUILDNAVI} ${BUILDNONAVI} $(MAKE) jdoc java -cp ${CP} de.hdm_stuttgart.mi.codeformat.Docbook2docbook ${SCRIPTBASENAME} - cp ${SCRIPTBASENAME}.xml ${SCRIPTBASENAME}.convert.xml xml2xml ${SCRIPTBASENAME}.convert.xml ../ws/Docbook/Extensions/Xsl/docbook2docbook.xsl > ${SCRIPTBASENAME}.convert.answer.xml /usr/share/xmlmind/bin/convertdoc -p suppress.navigation 1 -p eclipse.plugin.id $(PLUGINID) ${PPARAM} db5.toEclipseHelp ${SCRIPTBASENAME}.convert.answer.xml \ -u $(BUILDNONAVI)