about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2016-04-12T09·16+0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2016-04-14T10·50+0200
commit58e423ce323b85d1e440320e2a39947c89c7441b (patch)
tree8e1ce9ad46cc2f38ac8b283ffdf0acd987a25a89 /doc/manual
parent7186539711183a06d932dc24c7b26b5306ca9a3f (diff)
Remove PDF manual
More spring cleaning.
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/local.mk14
1 files changed, 0 insertions, 14 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index a0f110385676..52f2884ab18f 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -76,17 +76,3 @@ all: $(d)/manual.html
 clean-files += $(d)/manual.html
 
 dist-files += $(d)/manual.html
-
-
-# Generate the PDF manual.
-$(d)/manual.pdf: $(d)/manual.xml $(MANUAL_SRCS) $(d)/manual.is-valid
-	$(trace-gen) if test "$(dblatex)" != ""; then \
-		cd doc/manual && $(XSLTPROC) --xinclude --stringparam profile.condition manual \
-		  $(docbookxsl)/profiling/profile.xsl manual.xml | \
-		  $(dblatex) -o $(notdir $@) $(dblatex_opts) -; \
-	else \
-		echo "Please install dblatex and rerun configure."; \
-		exit 1; \
-	fi
-
-clean-files += $(d)/manual.pdf