mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

vharseko
11.26.2020 7ba506a4f9a14c630ecf46ecd269d838b73736de
opendj-packages/opendj-deb/pom.xml
@@ -54,7 +54,7 @@
        <deb.resources.path />
    </properties>
    <build>
    <build><finalName>${project.groupId}.${project.artifactId}</finalName>
        <pluginManagement>
            <plugins>
                <!-- Unpack man pages -->