From a93f1b71722cc8862350614dca56e162aca2aa07 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Wed, 6 Feb 2013 08:19:19 +0200 Subject: Respect --pdfdir --htmldir --psdir configure options Thanks to Hugo Mildenberger for the patch. --- doc/makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'doc/makefile') diff --git a/doc/makefile b/doc/makefile index 9ea4938..033c0fa 100644 --- a/doc/makefile +++ b/doc/makefile @@ -56,8 +56,10 @@ $(out_base)/odb-manual.pdf: $(out_base)/odb-manual.ps # Dist. # $(dist): data_dist := default.css manual.xhtml odb-arch.png odb-flow.png -$(dist): export docs = $(data_dist) odb.xhtml odb-manual.ps odb-manual.pdf -$(dist): export mans := odb.1 +$(dist): export ps_docs := odb-manual.ps +$(dist): export pdf_docs := odb-manual.pdf +$(dist): export html_docs := $(data_dist) odb.xhtml +$(dist): export man_docs := odb.1 $(dist): \ $(out_base)/odb.1 \ $(out_base)/odb.xhtml \ -- cgit v1.1