[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: mkdir -o split-html-dir
From: |
Patrice Dumas |
Subject: |
Re: mkdir -o split-html-dir |
Date: |
Wed, 7 Sep 2011 17:10:33 +0200 |
User-agent: |
Mutt/1.4.2.2i |
On Wed, Sep 07, 2011 at 03:02:34PM +0000, Karl Berry wrote:
> Hi Patrice,
>
> The gendocs.sh script we use to generate GNU manuals (in texinfo/util)
> runs a cmd like this to make the split HTML form:
>
> makeinfo --html -o maintain.html maintain.texi
>
> With "maintain.html" not existing, as either a dir or a file.
>
> The past makeinfo created a directory maintain.html in this case.
> tp doesn't. Is this intentional? I can't remember if we discussed it.
It is not intentional, it should be backward compatible in this respect.
--
Pat