From 244363073ecc3fc86b5feec4c39eb24d1a8b7077 Mon Sep 17 00:00:00 2001 From: Chris Wilson Date: Sun, 25 Sep 2011 18:39:42 +0000 Subject: Don't regenerate zipped manpages unless needed. --- infrastructure/makeparcels.pl.in | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'infrastructure/makeparcels.pl.in') diff --git a/infrastructure/makeparcels.pl.in b/infrastructure/makeparcels.pl.in index 58524612..8d5a0ea3 100755 --- a/infrastructure/makeparcels.pl.in +++ b/infrastructure/makeparcels.pl.in @@ -220,9 +220,10 @@ $dir/${name}.gz: docs/man/${name}.gz EOF # Releases have the docs pre-made, but users # may want to rebuild them for some reason. + my $docbook_source = "docs/docbook/${name}"; + $docbook_source =~ s/\.[58]$/.xml/; print MAKE <