[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fwd: [PATCH] different approach to --split html
From: |
janneke |
Subject: |
Re: Fwd: [PATCH] different approach to --split html |
Date: |
09 Nov 2000 14:26:47 +0100 |
User-agent: |
Gnus/5.0807 (Gnus v5.8.7) Emacs/20.7 |
Han-Wen Nienhuys <address@hidden> writes:
> > In any case, even if we decide to do the above by default, I still think
> > there should be a command-line switch to makeinfo which causes it to
> > assume all target files are unsplit, for those users who would not want
> > the additional complications of many Nodename.html files and
> > subdirectories.
>
> Perhaps. Personally, I think retaining old behavior is a form of
> feeping creaturitis, and I don't like it. Moreover, I think one should
> not look without a browser at directories full of .html files.
I'd say makeinfo is already way too hairy. If necessary, can add
simple support for the splitting case, but I'm not going to fix
external linking for the non-splitting case.
Anyway, I've put up a new patch that features a compilation fix that
somehow didn't make in into the previous patch, a doco update, and a
simple script for generating the master index.html (I needed this for
the LilyPond documentation anyway, it may serve as an example for a
``real'' implemention).
http://appel.lilypond.org/fred/software/texinfo-4.0.jcn2.diff
Greetings,
Jan.
--
Jan Nieuwenhuizen <address@hidden> | GNU LilyPond - The music typesetter
http://www.xs4all.nl/~jantien | http://www.lilypond.org
- Fwd: [PATCH] different approach to --split html, janneke, 2000/11/08
- Re: Fwd: [PATCH] different approach to --split html, Eli Zaretskii, 2000/11/08
- Re: Fwd: [PATCH] different approach to --split html, janneke, 2000/11/08
- Re: Fwd: [PATCH] different approach to --split html, Eli Zaretskii, 2000/11/08
- Re: Fwd: [PATCH] different approach to --split html, Han-Wen Nienhuys, 2000/11/08
- Re: Fwd: [PATCH] different approach to --split html, Eli Zaretskii, 2000/11/08
- Re: Fwd: [PATCH] different approach to --split html, Han-Wen Nienhuys, 2000/11/09
- Re: Fwd: [PATCH] different approach to --split html, Eli Zaretskii, 2000/11/09
- Re: Fwd: [PATCH] different approach to --split html, Han-Wen Nienhuys, 2000/11/09
- Re: Fwd: [PATCH] different approach to --split html,
janneke <=
- Re: Fwd: [PATCH] different approach to --split html, Eli Zaretskii, 2000/11/09
- Re: Fwd: [PATCH] different approach to --split html, janneke, 2000/11/08
- Re: Fwd: [PATCH] different approach to --split html, Eli Zaretskii, 2000/11/08
- Re: Fwd: [PATCH] different approach to --split html, janneke, 2000/11/08