diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.global.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 76ea044753a..39a6175adb1 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -348,6 +348,7 @@ STRIP_SHARED_LIB = @STRIP_SHARED_LIB@ have_docbook = @have_docbook@ COLLATEINDEX = @COLLATEINDEX@ +DBTOEPUB = @DBTOEPUB@ DOCBOOKSTYLE = @DOCBOOKSTYLE@ JADE = @JADE@ NSGMLS = @NSGMLS@ |