diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/pom.xml b/lib/pom.xml index c8b1edc64..7685058a1 100644 --- a/lib/pom.xml +++ b/lib/pom.xml @@ -650,6 +650,7 @@ <include>ant/**</include> <include>asm/**</include> <include>commons/**</include> + <include>docbook/**</include> <include>jarjar/**</include> <!-- Obsolete because JDiff is on GitHub Packages now. Keep for reference. --> <!--<include>jdiff/**</include>--> |