From 7036cc841d028475016f848ef49a2e7d7fc04edb Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Mon, 30 Nov 2020 22:43:26 -0800 Subject: [PATCH] build-pspp: Fix documentation build. --- build-pspp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/build-pspp b/build-pspp index 7cc875656b..83f5d1aa71 100755 --- a/build-pspp +++ b/build-pspp @@ -434,14 +434,13 @@ Changes from %(repo_version)s to %(version)s: # Build examples for user manual. start_step("Build examples for user manual") - run("cd pspp/_build && make -j$(nproc) example-outputs example-html") + run("cd pspp/_build && make -j$(nproc) figure-spvs figure-txts figure-texis figure-htmls") # Build user manual start_step("Build user manual") run("cd pspp && " "GENDOCS_TEMPLATE_DIR=%s %s/gendocs.sh -s doc/pspp.texi -I doc " - "-I _build/doc/examples -I doc/examples " - "-o %s/user-manual --email bug-gnu-pspp@gnu.org " + "-I _build/doc -o %s/user-manual --email bug-gnu-pspp@gnu.org " "pspp \"GNU PSPP User Manual\"" % (topdir, topdir, resultsdir), "user-manual") saved_result("User Manual", "user-manual") -- 2.30.2