From 674fd625303321472d4fa89a6d1d62058790b87e Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 11 Jan 2013 08:50:02 -0800 Subject: [PATCH] build-pspp: Use -I flag to newer gendocs.sh to copy HTML image files. The image files were being omitted from the HTML version of the generated manual. Using -I with sufficiently newer gendocs.sh solves the problem. Reported by John Darrington. --- build-pspp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/build-pspp b/build-pspp index ae723f7de4..6c1a30dc9b 100755 --- a/build-pspp +++ b/build-pspp @@ -268,13 +268,12 @@ EOF # Build user manual start_step ("Build user manual"); - run ("cd pspp && cp _build/doc/*.texi doc/"); - run ("cd pspp && GENDOCS_TEMPLATE_DIR=$topdir $topdir/gendocs.sh -s doc/pspp.texinfo -o $resultsdir/user-manual --email bug-gnu-pspp\@gnu.org pspp \"GNU PSPP User Manual\"", "user-manual"); + run ("cd pspp && GENDOCS_TEMPLATE_DIR=$topdir $topdir/gendocs.sh -s doc/pspp.texinfo -I doc -o $resultsdir/user-manual --email bug-gnu-pspp\@gnu.org pspp \"GNU PSPP User Manual\"", "user-manual"); saved_result ("User Manual", "user-manual"); # Build developer's guide start_step ("Build developers guide"); - run ("cd pspp && GENDOCS_TEMPLATE_DIR=$topdir $topdir/gendocs.sh -s doc/pspp-dev.texinfo -o $resultsdir/dev-guide --email bug-gnu-pspp\@gnu.org pspp-dev \"GNU PSPP Developers Guide\"", "dev-guide"); + run ("cd pspp && GENDOCS_TEMPLATE_DIR=$topdir $topdir/gendocs.sh -s doc/pspp-dev.texinfo -I doc -o $resultsdir/dev-guide --email bug-gnu-pspp\@gnu.org pspp-dev \"GNU PSPP Developers Guide\"", "dev-guide"); saved_result ("Developers Guide", "dev-guide"); } else { $tarball = saved_result ("source distribution", $tarball); -- 2.30.2