enable html-help for Linux, Windows and Mac distro-configs

Change-Id: I731e9bcae221d72286f13d5ab8a117e1f1f92052
2018-07-04 16:31:26 +02:00
parent 1b6031423c
commit c625bc9aa4
4 changed files with 4 additions and 4 deletions
@@ -9,7 +9,7 @@
 --without-system-jars
 --without-system-postgresql
 --without-junit
--with-help
+--with-help=html
 --without-helppack-integration
 --with-linker-hash-style=both
 --with-fonts
@@ -6,6 +6,6 @@
 --enable-online-update
 --without-system-postgresql
 --disable-gtk
--with-help
+--with-help=html
 --with-myspell-dicts
 --with-package-format=dmg
@@ -7,7 +7,7 @@
 --enable-ext-nlpsolver
 --enable-online-update
 --enable-breakpad
--with-help
+--with-help=html
 --with-myspell-dicts
 --with-package-format=msi
 --enable-mergelibs
@@ -8,7 +8,7 @@
 --enable-ext-nlpsolver
 --enable-online-update
 --enable-breakpad
--with-help
+--with-help=html
 --with-myspell-dicts
 --with-package-format=msi
 --enable-mergelibs