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.am | 7 ++++--- doc/makefile | 6 ++++-- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 8e40d21..81c32e6 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -2,6 +2,7 @@ # copyright : Copyright (c) 2009-2012 Code Synthesis Tools CC # license : GNU GPL v3; see accompanying LICENSE file -dist_doc_DATA = __file__(docs) -dist_man_MANS = __file__(mans) - +dist_ps_DATA = __file__(ps_docs) +dist_pdf_DATA = __file__(pdf_docs) +dist_html_DATA = __file__(html_docs) +dist_man_MANS = __file__(man_docs) 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