diff options
| author | David Tardon <dtardon@redhat.com> | 2017-12-05 12:43:30 +0100 |
|---|---|---|
| committer | Jan Holesovsky <kendy@collabora.com> | 2018-08-08 14:47:27 +0200 |
| commit | bc394374b28238747f09e18fb97214ee69db6976 (patch) | |
| tree | d8150acf78095b93e6778ec2f9f36116734f0eb6 /config_host.mk.in | |
| parent | f67b2270770e28ed794e0682d40da566b1e4e51c (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 b335cecb0cd7..0da4352e5b89 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@ |