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 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'doc/Makefile.am') 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) -- cgit v1.1