Next in thread → Next in month →

DOCBOOK-APPS: Re: Bug: use id as filename,and root.filename appear mutually exclusive

From
Robert Collins <>
Date
2002-01-09T11:47:05+00:00
ID
069101c19902$f8dc3550$0200a8c0@lifelesswks
Thread
DOCBOOK-APPS: Re: Bug: use id as filename,and root.filename appear mutually exclusive
----- Original Message -----
From: "Norman Walsh" <>


> / Robert Collins <> was heard to say:
> | IMO the root.filename parameter should override the
use.id.as.filename
> | parameter, or if both behaviours are needed, there should be a
parameter
> | to control that.
>
> Seems reasonable. I'm not sure why that behavior changed. Here is the
patch
> now checked into CVS:

Thanks, great response time!

Rob
Next in thread → Next in month →