4.0.0 org.overturetool root 2.7.5-SNAPSHOT ../pom.xml externals jar Overture External Resources maven-antrun-plugin update-docs process-classes run maven-resources-plugin copy-resources01 validate copy-resources ${basedir}/target/classes/documentation UTF-8 ${basedir}/docrepo/documentation/tutorials/VDM++OvertureTutorial *.pdf *.uml ${basedir}/docrepo/documentation/tutorials/VDMRTOvertureTutorial *.pdf ${basedir}/docrepo/documentation/tutorials/VDMSLOvertureTutorial *.pdf ${basedir}/docrepo/documentation/VDMRTProcess *.pdf ${basedir}/docrepo/documentation/UserGuideOvertureIDE *.pdf ${basedir}/docrepo/documentation/VDM10LangMan *.pdf ${basedir}/docrepo/documentation/QuickOverviewVDMPPOperators *.pdf