projects / pspp / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 9c99f9d)
Fixed problem building documentation in absence of xmllint
authorJohn Darrington <john@darrington.wattle.id.au>
Thu, 29 Oct 2015 19:11:36 +0000 (20:11 +0100)
committerJohn Darrington <john@darrington.wattle.id.au>
Thu, 29 Oct 2015 19:11:36 +0000 (20:11 +0100)
This change fixes two problems:

1. XMLLINT was only checked in configure if --without-cairo was not given.   However,
the documentation (may) require it.

2. The file doc/help-pages-list needed to be shipped.  Otherwise the docs need to be rebuilt which
is not desired for users


No differences found
Unnamed repository; edit this file to name it for gitweb.