Exclude dev files and other docs from src distro
This commit is contained in:
parent
b5cb6522a6
commit
e1ce1719b5
|
@ -42,6 +42,17 @@
|
||||||
<!-- in case some of the build generates data, this needs to be ignored -->
|
<!-- in case some of the build generates data, this needs to be ignored -->
|
||||||
<exclude>data/</exclude>
|
<exclude>data/</exclude>
|
||||||
|
|
||||||
|
<!-- Exclude all docs except user manual -->
|
||||||
|
<exclude>docs/design-guide/</exclude>
|
||||||
|
<exclude>docs/diagrams/</exclude>
|
||||||
|
<exclude>docs/quickstart-guide/</exclude>
|
||||||
|
|
||||||
|
<!-- Exclude Release and Dev files -->
|
||||||
|
<exclude>RELEASING.md</exclude>
|
||||||
|
<exclude>ratReport.txt</exclude>
|
||||||
|
<exclude>.gitignore</exclude>
|
||||||
|
<exclude>artemis_doap.rdf</exclude>
|
||||||
|
|
||||||
<!-- build output -->
|
<!-- build output -->
|
||||||
<exclude>
|
<exclude>
|
||||||
%regex[(?!((?!${project.build.directory}/)[^/]+/)*src/).*${project.build.directory}.*]
|
%regex[(?!((?!${project.build.directory}/)[^/]+/)*src/).*${project.build.directory}.*]
|
||||||
|
|
Loading…
Reference in New Issue