mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 86aa33 | patch | commitdiff
Maxim Thomas
28.54.2024 b625705eb7e9f56e7b005cc4d5b3f50ffa7bd548
refs
author Maxim Thomas <maxim.thomas@gmail.com>
Friday, June 28, 2024 09:54 +0200
committer GitHub <noreply@github.com>
Friday, June 28, 2024 09:54 +0200
commitb625705eb7e9f56e7b005cc4d5b3f50ffa7bd548
tree 5b121dd8c0fe6ffb8510173909441b059ef37acd tree | zip | gz
parent 86aa33eab556e4a22ddb5e45f0a331ddf15c614e view | diff 
compress webhelp, xhtml and html docs after build (#348)

1 files added
2 files modified
56 ■■■■■ changed files
opendj-doc-generated-ref/pom.xml 34 ●●●●● diff | view | raw | blame | history
opendj-doc-generated-ref/src/main/ant/zip.xml 21 ●●●●● diff | view | raw | blame | history
pom.xml 1 ●●●●● diff | view | raw | blame | history