I wiped out my build directory and reran "configure" and I don't see the problem anymore. It must have been stale files of one kind or another.
Thanks for the help. On Mon, Mar 28, 2016 at 10:16:03AM +0200, John Darrington wrote: > I tried hard to produce a similar failure, but wasn't able to. > Even after poking false date stamps into things. > > But looking at pspp-0.10.0/doc/version.texi I see the date stamp > nearly a year old: > > @set UPDATED 10 May 2015 > > So my guess is that you have something in your git working directory > which is hindering rebuilds of the manual. > > I suggest that you do > > git reset --hard origin/master > git clean -dfx > make -f Smake > ... > etc. > > J' > > > On Sun, Mar 27, 2016 at 02:45:00PM -0700, Ben Pfaff wrote: > On Sun, Mar 27, 2016 at 11:41:24PM +0200, John Darrington wrote: > > Looking at this again, I see something strange in the tarball: > > > > $ ls -l doc/pspp.xml doc/version.texi doc/help-pages-list > > -rw-r--r-- 1 john john 611 Mar 8 2015 doc/help-pages-list > > -rw-r--r-- 1 john john 725562 Mar 20 01:19 doc/pspp.xml > > -rw-r--r-- 1 john john 93 Mar 26 18:19 doc/version.texi > > > > make dist is supposed to depend on doc/pspp.xml which in turn > > depends on doc/version.texi > > > > So I don't understand how this combination of timestamps can have > > arisen. > > > > Can you remember the sequence of commands you ran to create the > tarball? > > My bash history shows me verifying that I had the right gnulib commit: > > 1064 less README.Git > 1065 cd ../gnulib > 1066 git show > 1067 cd ../master/ > > then rerunning "make -f Smake", just to be sure, and then running > distcheck: > > 1068 make -f Smake > 1069 cd _build/ > 1070 make -j10 distcheck TESTSUITEFLAGS=-j10 > > The distcheck failed, so afterward I investigated a bit but I ended up > using the tarball generated by the (failed) distcheck without > regenerating it. > > -- > Avoid eavesdropping. Send strong encryted email. > PGP Public key ID: 1024D/2DE827B3 > fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 > See http://sks-keyservers.net or any PGP keyserver for public key. > _______________________________________________ pspp-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/pspp-dev
