diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2005-11-28 21:33:39 +0000 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2005-11-28 21:33:39 +0000 |
| commit | 3bca582c97181b5936c639ff87e1caffdc78c1bd (patch) | |
| tree | ce174b6f151e4ad50cd1b262f2a9c3a58ba0c7bc /config.make.in | |
| parent | 1a8a888956bee0b0794ddd00ff32487ad4d3134f (diff) | |
* configure.in (--disable-documentation): New switch.
* GNUmakefile.in: Use it.
* stepmake/aclocal.m4: Use AC_ARG_ENABLE for kpatsea.
Diffstat (limited to 'config.make.in')
| -rw-r--r-- | config.make.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.make.in b/config.make.in index c0d756fb0d..1e972d9d57 100644 --- a/config.make.in +++ b/config.make.in @@ -88,6 +88,7 @@ CROSS = @cross_compiling@ CXX = @CXX@ DEFINES = @DEFS@ @DEFINES@ DEFS = @DEFS@ +DOCUMENTATION = @DOCUMENTATION@ DOTEXE = @DOTEXE@ FIND = @FIND@ FLEX = @FLEX@ |