diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2013-02-06 08:19:19 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2013-02-06 08:19:19 +0200 |
commit | a93f1b71722cc8862350614dca56e162aca2aa07 (patch) | |
tree | 37dbd3df5380901071c0244e75add45f7582f0ea /doc/makefile | |
parent | c879bd07a90c9c74131de005c1b491240b0f8596 (diff) |
Respect --pdfdir --htmldir --psdir configure options
Thanks to Hugo Mildenberger <Hugo.Mildenberger@web.de> for the patch.
Diffstat (limited to 'doc/makefile')
-rw-r--r-- | doc/makefile | 6 |
1 files changed, 4 insertions, 2 deletions
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 \ |