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) > >