From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 8 Mar 2015 20:34:10 +0000 (-0700)
Subject: configure: Create "doc" directory in build directory.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2db4d52d01587c430f02c338250949653ee818e6;p=pspp

configure: Create "doc" directory in build directory.

Otherwise we get build failures from the autobuilder when the rule
in gui/automake.mk tries to create doc/help-pages-list.  Problem
introduced in commit 531de52e961c (PsppireDialog: New property:
help-page).

Developers probably didn't notice this problem because they probably
already had doc/ directories in their build directories due to
building PDF versions of the documentation at one time or another, or
because they do builds in the source directory.

Found by examining autobuilder failures.
---

diff --git a/configure.ac b/configure.ac
index 7e976a8ca6..bec7e1a41d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -335,6 +335,8 @@ PSPP_CHECK_PREREQS
 AC_CONFIG_FILES(
   [Makefile gl/Makefile po/Makefile tests/atlocal perl-module/lib/PSPP.pm])
 
+AC_CONFIG_COMMANDS([doc/dummy], [:])
+
 m4_ifdef([AM_SILENT_RULES], [AM_SILENT_RULES])
 
 AC_OUTPUT