diff options
author | Chris Wilson <chris+github@qwirx.com> | 2009-03-27 23:44:17 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2009-03-27 23:44:17 +0000 |
commit | b3147950c3459f1f68c3ab630c38172250ee226d (patch) | |
tree | b97f0b62477b1d55e0ac14b634da71cd62cb0b4a /infrastructure/makedistribution.pl.in | |
parent | c1914056918f3cf413a413fe71be9b85a3b7c4ce (diff) |
Don't skip building docs if we can't find a SVN version, as it breaks
build on exported copies. It doesn't do any harm in distributions
either, as long as timestamps on the pre-built man pages are correct,
and allows users to modify the docbook source and rebuild as long as
they have xsltproc.
Diffstat (limited to 'infrastructure/makedistribution.pl.in')
0 files changed, 0 insertions, 0 deletions