diff options
Diffstat (limited to 'docs/pom.xml')
| -rw-r--r-- | docs/pom.xml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/docs/pom.xml b/docs/pom.xml index e6c256dd9..d0726a217 100644 --- a/docs/pom.xml +++ b/docs/pom.xml @@ -23,6 +23,30 @@ <build> <plugins> <plugin> + <groupId>org.apache.maven.plugins</groupId> + <artifactId>maven-resources-plugin</artifactId> + <executions> + <execution> + <id>copy-images-compiler-weaver</id> + <phase>generate-resources</phase> + <goals> + <goal>copy-resources</goal> + </goals> + <configuration> + <outputDirectory>${project.build.directory}/html/developer</outputDirectory> + <resources> + <resource> + <directory>${project.basedir}/developer/compiler-weaver</directory> + <includes> + <include>*.gif</include> + </includes> + </resource> + </resources> + </configuration> + </execution> + </executions> + </plugin> + <plugin> <groupId>org.asciidoctor</groupId> <artifactId>asciidoctor-maven-plugin</artifactId> <executions> |