diff options
Diffstat (limited to 'docs/pom.xml')
| -rw-r--r-- | docs/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/pom.xml b/docs/pom.xml index b69a68108..a9d821970 100644 --- a/docs/pom.xml +++ b/docs/pom.xml @@ -155,6 +155,7 @@ <exclude>developer/traces/**</exclude> <exclude>install/**</exclude> <exclude>sandbox/**</exclude> + <exclude>target/**</exclude> <exclude>teaching/**</exclude> <exclude>test/**</exclude> </excludes> |