diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-04-12T09·16+0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-04-14T10·50+0200 |
| commit | 58e423ce323b85d1e440320e2a39947c89c7441b (patch) | |
| tree | 8e1ce9ad46cc2f38ac8b283ffdf0acd987a25a89 /doc/manual/local.mk | |
| parent | 7186539711183a06d932dc24c7b26b5306ca9a3f (diff) | |
Remove PDF manual
More spring cleaning.
Diffstat (limited to 'doc/manual/local.mk')
| -rw-r--r-- | doc/manual/local.mk | 14 |
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 |