external-software/github_OpenIdentityPlatform_OpenDJ.git

external-software / github_OpenIdentityPlatform_OpenDJ

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

summary
commits
tree
docs
forks
compare

Fix for Issue #3092 (bundled installation doc should also be available as t...

lfrost

21.24.2008 47eb7b8f72b2d62f63df5300c36f980f4c02bce6

 opends/build.xml

@@ -964,6 +964,10 @@
    </copy>

    <copy todir="${pdir}">
      <fileset file="${resource.dir}/install.txt" />
    </copy>

    <copy todir="${pdir}">
      <fileset file="${resource.dir}/images/opends_logo.png" />
    </copy>

			@@ -964,6 +964,10 @@
			</copy>

			<copy todir="${pdir}">
			<fileset file="${resource.dir}/install.txt" />
			</copy>

			<copy todir="${pdir}">
			<fileset file="${resource.dir}/images/opends_logo.png" />
			</copy>