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 /config_host.mk.in | |
| parent | 706429497eae9597aca5c2578045cb9b63762b3e (diff) | |
allow to build only HTML help
Change-Id: I4debf079be228e5ce5fae5f1a153f78800407a59
Diffstat (limited to 'config_host.mk.in')
| -rw-r--r-- | config_host.mk.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config_host.mk.in b/config_host.mk.in index 804d18766ad3..2281a90d891c 100644 --- a/config_host.mk.in +++ b/config_host.mk.in @@ -134,6 +134,7 @@ export ENABLE_GTK3=@ENABLE_GTK3@ export ENABLE_GTK=@ENABLE_GTK@ export ENABLE_GTK_PRINT=@ENABLE_GTK_PRINT@ export ENABLE_HEADLESS=@ENABLE_HEADLESS@ +export ENABLE_HTMLHELP=@ENABLE_HTMLHELP@ export ENABLE_JAVA=@ENABLE_JAVA@ export ENABLE_KDE4=@ENABLE_KDE4@ export ENABLE_LPSOLVE=@ENABLE_LPSOLVE@ |