diff options
| author | David Tardon <dtardon@redhat.com> | 2017-11-27 10:11:50 +0100 |
|---|---|---|
| committer | David Tardon <dtardon@redhat.com> | 2017-12-07 13:38:28 +0100 |
| commit | 253667523270b3a50464a6ef1e353267de38a2e9 (patch) | |
| tree | a886c871be2ebed40f8e7a3e18de180dd8bffd9d /Repository.mk | |
| parent | b08c480ea439c3496f5a8f10c154af3f183f0049 (diff) | |
move generation of HTML help to gbuild
Change-Id: I3b13e6e29a0436ce18532ab4ef131229aa640d9b
Diffstat (limited to 'Repository.mk')
| -rw-r--r-- | Repository.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Repository.mk b/Repository.mk index b2714c5f6e22..4257bd26b799 100644 --- a/Repository.mk +++ b/Repository.mk @@ -793,6 +793,10 @@ $(eval $(call gb_Helper_register_packages, \ test_unittest \ cli_basetypes_copy \ extras_wordbook \ + $(if $(ENABLE_HTMLHELP),\ + helpcontent2_html_static \ + helpcontent2_html \ + ) \ instsetoo_native_setup \ $(if $(ENABLE_OOENV),instsetoo_native_ooenv) \ postprocess_registry \ |