gulp build:dist job does not copy HTML files

[tszewcow]

gulp build:dist job does not copy HTML files into dist directory when html files already exist in the .tmp directory.

In the result - distribution version can't be built correctly if the .tmp directory exists.
Reproduction steps:

1. run gulp serve / gulp build job
2. run gulp serve:dist / gulp build:dist job
3. there are no html files in the dist directory

When there is no .tmp directory, dist directory is built correctly (simply run gulp clean before gulp serve:dist)

[ghost]

This bug also seems have an impact on building the webapp for deployment on tomcat (if you call "mvn install" in the oasp4js/java directory) because it relies on the build:dist job. Until it is resolved completely, we could add the workaround (deleting .tmp directory) to the java/pom.xml somehow. Does anybody know how to do this?

[ghost]

Ok, I found it. "mvn clean install" does the job as it deletes .tmp in the clean process. However, the build is taking a while (over 3 minutes for a little project) because the node modules are deleted and reinstalled, too.
In the future, cleaning .tmp could be included in the gulp configuration, but I have no knowledge about gulp at all...