diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.global.in | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 06e39c57e92..b83f09f3264 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -399,11 +399,8 @@ STRIP_SHARED_LIB = @STRIP_SHARED_LIB@ # Documentation -have_docbook = @have_docbook@ -COLLATEINDEX = @COLLATEINDEX@ DBTOEPUB = @DBTOEPUB@ -DOCBOOKSTYLE = @DOCBOOKSTYLE@ -JADE = @JADE@ +FOP = @FOP@ NSGMLS = @NSGMLS@ OSX = @OSX@ XMLLINT = @XMLLINT@ |