Re: [PATCH] DocBook: Avoid stdout junk with no man pages to compress

2015-07-13 Thread Ulf Magnusson
On Tue, Jul 14, 2015 at 6:27 AM, Ulf Magnusson wrote: > On Mon, Jul 13, 2015 at 2:46 AM, Ulf Magnusson > wrote: >> On Sun, Jul 12, 2015 at 04:36:53PM -0700, Jim Davis wrote: >>> On Sun, Jul 12, 2015 at 2:59 PM, Ulf Magnusson >>> wrote: >>> > gzip would run as 'gzip -f' when no uncompressed man

Re: [PATCH] DocBook: Avoid stdout junk with no man pages to compress

2015-07-13 Thread Ulf Magnusson
On Mon, Jul 13, 2015 at 2:46 AM, Ulf Magnusson wrote: > On Sun, Jul 12, 2015 at 04:36:53PM -0700, Jim Davis wrote: >> On Sun, Jul 12, 2015 at 2:59 PM, Ulf Magnusson >> wrote: >> > gzip would run as 'gzip -f' when no uncompressed man pages were found, >> > making it compress the (empty) stdin to

Re: [PATCH] DocBook: Avoid stdout junk with no man pages to compress

2015-07-12 Thread Ulf Magnusson
On Sun, Jul 12, 2015 at 04:36:53PM -0700, Jim Davis wrote: > On Sun, Jul 12, 2015 at 2:59 PM, Ulf Magnusson > wrote: > > gzip would run as 'gzip -f' when no uncompressed man pages were found, > > making it compress the (empty) stdin to stdout. > > > --- a/Documentation/DocBook/Makefile > > +++ b

Re: [PATCH] DocBook: Avoid stdout junk with no man pages to compress

2015-07-12 Thread Jim Davis
On Sun, Jul 12, 2015 at 2:59 PM, Ulf Magnusson wrote: > gzip would run as 'gzip -f' when no uncompressed man pages were found, > making it compress the (empty) stdin to stdout. > --- a/Documentation/DocBook/Makefile > +++ b/Documentation/DocBook/Makefile > @@ -56,7 +56,7 @@ htmldocs: $(HTML) > >

[PATCH] DocBook: Avoid stdout junk with no man pages to compress

2015-07-12 Thread Ulf Magnusson
gzip would run as 'gzip -f' when no uncompressed man pages were found, making it compress the (empty) stdin to stdout. A few alternative solutions: - 'find' with {} + might be speedier, but maybe that's not portable enough (though it's in POSIX 2001 at least AFAICS) - xargs --no-run-if-e