diff options
author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2009-08-08 20:21:58 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2009-08-08 20:21:58 +0200 |
commit | 7e62e8ec723f91e07bb4ac9ae3e55b65e3123082 (patch) | |
tree | ef7fe94ba085e9b3044fe04199f02e0c5b9988b9 /package/editors | |
parent | 1357368035475cea7ac89f27efdf8777ad1c78b1 (diff) |
Remove --without-html-dir from DISABLE_DOCUMENTATION
In an attempt to disable the compilation and installation of
documentation of gtk packages, a DISABLE_DOCUMENTATION variable
containing --without-html-dir has been added to
package/Makefile.in. This variable is used by
package/Makefile.autotools.in so that --without-html-dir is in effect
passed to all autotools-based packaging relying on the
Makefile.autotools.in infrastructure.
Unfortunately, --without-html-dir doesn't work. It leads libglib2
./configure script to think that HTML_DIR is "no", which leads to the
installation of the documentation in $(STAGING_DIR)no (yes, with the
"no" suffix at the end). The issue is that --with-html-dir is not an
enable/disable type of option, it's an option that only allows to pass
a PATH for documentation installation.
As we don't want the documentation to be installed in this odd
$(STAGING_DIR)no directory, we simply get rid of this option.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'package/editors')
0 files changed, 0 insertions, 0 deletions