diff options
| author | Marko Ratkaj <marko.ratkaj@sartura.hr> | 2018-09-10 11:04:36 +0200 |
|---|---|---|
| committer | Luka Perkov <luka.perkov@sartura.hr> | 2018-09-11 15:00:09 +0200 |
| commit | 6e80dd58bb6c8c146ed8fd7ed538e96db4e8cc13 (patch) | |
| tree | 886205cafd14a645dc17f66ba191183519f73369 /tools/flex | |
| parent | a54f492d0cf1f9bff1dd449961441e789c724995 (diff) | |
| download | upstream-6e80dd58bb6c8c146ed8fd7ed538e96db4e8cc13.tar.gz upstream-6e80dd58bb6c8c146ed8fd7ed538e96db4e8cc13.tar.bz2 upstream-6e80dd58bb6c8c146ed8fd7ed538e96db4e8cc13.zip | |
tools/expat: fix docbook2man error on some systems
On some systems (Gentoo) configure stage fails because of docbook2man
working with SGML rather than with XML. We don't need xmlwf man pages so
we disable this.
Signed-off-by: Marko Ratkaj <marko.ratkaj@sartura.hr>
Diffstat (limited to 'tools/flex')
0 files changed, 0 insertions, 0 deletions