Merge branch 'dev' of github.com:mdbtools/mdbtools into dev

This commit is contained in:
Evan Miller
2020-12-13 07:36:52 -05:00

View File

@@ -2,7 +2,6 @@ SHELL = /bin/sh
TXT2MAN = ./txt2man TXT2MAN = ./txt2man
PRODUCT = MDBTools PRODUCT = MDBTools
# To make the userguide, export DOCBOOK_DSL TO point to docbook.dsl.
dist_man_MANS = dist_man_MANS =
if ENABLE_MAN if ENABLE_MAN
dist_man_MANS += mdb-tables.1 mdb-ver.1 mdb-export.1 mdb-schema.1 mdb-sql.1 \ dist_man_MANS += mdb-tables.1 mdb-ver.1 mdb-export.1 mdb-schema.1 mdb-sql.1 \