diff options
author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2021-04-13 02:12:57 +0700 |
---|---|---|
committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2021-04-13 02:12:57 +0700 |
commit | 8d2aa7417fa837e8b3a147b45c1b824797ca0b33 (patch) | |
tree | 21bc721a6225a1c32d76ff7164025e86f662894e /lib/pom.xml | |
parent | bd1efcf9a5fbd17aa277c720c4d378e7e3cf0ff1 (diff) | |
download | aspectj-8d2aa7417fa837e8b3a147b45c1b824797ca0b33.tar.gz aspectj-8d2aa7417fa837e8b3a147b45c1b824797ca0b33.zip |
Add lib/docbook to Maven Clean
Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
Diffstat (limited to 'lib/pom.xml')
-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>--> |