diff options
author | David Tardon <dtardon@redhat.com> | 2017-12-05 12:43:30 +0100 |
---|---|---|
committer | David Tardon <dtardon@redhat.com> | 2017-12-07 13:43:08 +0100 |
commit | c9904bdd5bf2645c9723a8135c5fbceadb6b9aed (patch) | |
tree | e87ae437508fc71877a2b97a565b34bbd1c24a89 /Repository.mk | |
parent | 706429497eae9597aca5c2578045cb9b63762b3e (diff) |
allow to build only HTML help
Change-Id: I4debf079be228e5ce5fae5f1a153f78800407a59
Diffstat (limited to 'Repository.mk')
-rw-r--r-- | Repository.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Repository.mk b/Repository.mk index 4257bd26b799..f895573b2416 100644 --- a/Repository.mk +++ b/Repository.mk @@ -907,7 +907,7 @@ $(eval $(call gb_Helper_register_packages_for_install,ooo,\ $(if $(filter $(OS),MACOSX),vcl_osxres) \ xmloff_dtd \ xmlscript_dtd \ - xmlhelp_helpxsl \ + $(if $(ENABLE_HTMLHELP),,xmlhelp_helpxsl) \ $(if $(ENABLE_JAVA),\ scripting_java \ scripting_java_jars \ |